help links subscribe changes refresh edit

	SandBox	OpenAxiom
SandBoxOp ←	↑		→ SandBoxOperatorsAndSqrt

SandBoxOpenAxiom

last edited 16 years ago by Bill Page

Edit detail for SandBoxOpenAxiom revision 21 of 25

	1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
Editor: japp Time: 2009/01/20 05:56:36 GMT-8
Note: Cleanup

removed:
-
-From page Wed Dec 12 13:11:30 -0800 2007
-From: page
-Date: Wed, 12 Dec 2007 13:11:30 -0800
-Subject: new
-Message-ID: <20071212131130-0800@axiom-wiki.newsynthesis.org>
-
-[SandBoxOpenAxiomFeatures]
-
-From BillPage Sun Dec 16 19:11:21 -0800 2007
-From: Bill Page
-Date: Sun, 16 Dec 2007 19:11:21 -0800
-Subject: coerce to OutputForm missing from AlgebraicNumber?
-Message-ID: <20071216191121-0800@axiom-wiki.newsynthesis.org>
-
-This failed in OpenAxiom-20071209:
-\begin{axiom}
-sqrt(2)
-\end{axiom}
-
-
-From gdr Sat Jan 26 15:34:53 -0800 2008
-From: gdr
-Date: Sat, 26 Jan 2008 15:34:53 -0800
-Subject: coerce to OutputForm missing from AlgebraicNumber?
-Message-ID: <20080126153453-0800@axiom-wiki.newsynthesis.org>
-In-Reply-To: <20071216191121-0800@axiom-wiki.newsynthesis.org>
-
-That bug has been corrected in recent versions of OpenAxiom.  Any chance for update?
-
-From BillPage Tue Jan 29 19:12:05 -0800 2008
-From: Bill Page
-Date: Tue, 29 Jan 2008 19:12:05 -0800
-Subject: OpenAxiom-20080128
-Message-ID: <20080129191205-0800@axiom-wiki.newsynthesis.org>
-
-New version of OpenAxiom installed.

removed:
-
-From gdr Sun Apr 6 18:55:57 -0700 2008
-From: gdr
-Date: Sun, 06 Apr 2008 18:55:57 -0700
-Subject: 
-Message-ID: <20080406185557-0700@axiom-wiki.newsynthesis.org>
-
-\begin{axiom}
-)version
-\end{axiom}
-
-From gdr Sun Apr 6 18:56:44 -0700 2008
-From: gdr
-Date: Sun, 06 Apr 2008 18:56:44 -0700
-Subject: 
-Message-ID: <20080406185644-0700@axiom-wiki.newsynthesis.org>
-
-Humm, this version of OpenAxiom seems a bit old.
-Any change of upgrade to more recent ones?

removed:
-From page Wed May 7 18:42:02 -0700 2008
-From: page
-Date: Wed, 07 May 2008 18:42:02 -0700
-Subject: OpenAxiom-20080507
-Message-ID: <20080507184202-0700@axiom-wiki.newsynthesis.org>
-
-New version of OpenAxiom installed built from SVN revision: 555.
-

removed:
-

What version?

fricas

(1) -> )version

"FriCAS 1.3.12 compiled at Sat  7 Jun 23:54:49 CEST 2025"

New domain Domain:

fricas

)show Domain

   The )show system command is used to display information about types 
      or partial types. For example, )show Integer will show 
      information about Integer .

      Domain is not the name of a known type constructor. If you want 
      to see information about any operations named Domain , issue
                         )display operations Domain

For example:

fricas

LD:=[Integer,Float,String]

 LISP output:
(UNPRINTABLE UNPRINTABLE UNPRINTABLE)

Type: List(Type)

New domain Syntax:

fricas

)show Syntax

   The )show system command is used to display information about types 
      or partial types. For example, )show Integer will show 
      information about Integer .

      Syntax is not the name of a known type constructor. If you want 
      to see information about any operations named Syntax , issue
                         )display operations Syntax

fricas

reify(String)

   There are no library operations named reify 
      Use HyperDoc Browse or issue
                               )what op reify
      to learn if there is any operation containing " reify " in its 
      name.

   Cannot find a definition or applicable library operation named reify
      with argument type(s) 
                                    Type

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

syntax.spad.pamphlet --Bill Page, Wed, 30 Jan 2008 09:27:00 -0800 reply

[SandBoxSyntax]? describes some extensions to OpenAxiom?

move coercion to library? --page, Wed, 07 May 2008 07:29:30 -0700 reply

fricas

a := 'x :: OutputForm

$\label{eq1}x$

(1)

Type: OutputForm?

fricas

b := 'y :: OutputForm

$\label{eq2}y$

(2)

Type: OutputForm?

fricas

a and b

   Argument number 1 to "and" must be a Boolean.

... --artjcoder, Tue, 13 May 2008 02:23:40 -0700 reply

fricas

phi := operator phi

$\label{eq3}phi$

(3)

Type: BasicOperator?

fricas

deq := 6*D(phi(x), x) + 10*phi(x) + 150*cos(phi(x)) = 0

$\label{eq4}{{6 \ {{phi^{\prime}}\left({x}\right)}}+{{150}\ {\cos \left({phi \left({x}\right)}\right)}}+{{10}\ {phi \left({x}\right)}}}= 0$

(4)

Type: Equation(Expression(Integer))

fricas

solve(deq, phi, x)

$\label{eq5}{\int^{ \displaystyle {phi \left({x}\right)}}{{\frac{6}{{{15}\ {\cos \left({\%D}\right)}}+ \%D}}\ {d \%D}}}+{{10}\ x}$

(5)

Type: Union(Expression(Integer),...)

OpenAxiom? now displays InputForms? --Bill Page, Thu, 16 Oct 2008 18:54:56 -0700 reply

in infix (or m-expression like) notation like this:

fricas

phi := operator 'phi

$\label{eq6}phi$

(6)

Type: BasicOperator?

fricas

(9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10 + 150*cos(phi(x)))::InputForm

$\label{eq7}\left({ \begin{array}{@{}l} \displaystyle + \ {\left({ \begin{array}{@{}l} \displaystyle <em> \ 9 \ {\left({ \begin{array}{@{}l} \displaystyle D \ {\left(D \ {\left(phi \ x \right)}\ {\left(: : \ x \ \hbox{\axiomType{Symbol}\ } \right)}\right)}\ \cdot \ \ \displaystyle {\left(: : \ x \ \hbox{\axiomType{Symbol}\ } \right)}$

(7)

Type: InputForm?

OpenAxiom? 1.3.0 and higher now supports literal numbers expressed in a radix other than 10 (both in the interpreter and in library).

For decimal numbers, the syntax is as usual. For base other than 10, you have to specify the radix first (as a decimal number) followed by the letter r, then followed by digits expressing the number.

fricas

16rdeadbeef

  Line   1: 16rdeadbeef
           ...A
  Error  A: No digits after radix specification
  Error   : No digits after radix specification
   2 error(s) parsing 
   There are no library operations named 16R 
      Use HyperDoc Browse or issue
                                )what op 16R
      to learn if there is any operation containing " 16R " in its 
      name.

   Cannot find a definition or applicable library operation named 16R 
      with argument type(s) 
                             Variable(deadbeef)

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.