login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

What version?

fricas
)version
Value = "Monday March 7, 2011 at 19:18:42 "

New domain Domain:

fricas
)show Domain
Domain is a domain constructor Abbreviation for Domain is DOMAIN This constructor is exposed in this frame. Issue )edit /usr/local/lib/open-axiom/x86_64-unknown-linux-gnu/1.4.0-2011-02-20/src/algebra/DOMAIN.spad to see algebra source code for DOMAIN
------------------------------- Operations -------------------------------- ?=? : (%,%) -> Boolean before? : (%,%) -> Boolean coerce : % -> OutputForm hash : % -> SingleInteger latex : % -> String showSummary : % -> Void ?~=? : (%,%) -> Boolean constructor : % -> DomainConstructor reflect : ConstructorCall DomainConstructor -> % reify : % -> ConstructorCall DomainConstructor

For example:

fricas
LD:=[Integer,Float,String]

\label{eq1}\left[ \hbox{\axiomType{Integer}\ } , \: \hbox{\axiomType{Float}\ } , \: \hbox{\axiomType{String}\ } \right](1)
Type: List Domain

New domain Syntax:

fricas
)show Syntax
Syntax is a domain constructor Abbreviation for Syntax is SYNTAX This constructor is exposed in this frame. Issue )edit /usr/local/lib/open-axiom/x86_64-unknown-linux-gnu/1.4.0-2011-02-20/src/algebra/SYNTAX.spad to see algebra source code for SYNTAX
------------------------------- Operations -------------------------------- ?=? : (%,%) -> Boolean autoCoerce : % -> String autoCoerce : % -> Identifier autoCoerce : % -> DoubleFloat autoCoerce : % -> Integer before? : (%,%) -> Boolean buildSyntax : (%,List %) -> % coerce : % -> String coerce : % -> Identifier coerce : % -> DoubleFloat coerce : % -> Integer coerce : % -> InputForm coerce : String -> % coerce : Identifier -> % coerce : DoubleFloat -> % coerce : Integer -> % coerce : % -> OutputForm compound? : % -> Boolean convert : SExpression -> % convert : % -> SExpression getOperands : % -> List % hash : % -> SingleInteger latex : % -> String nil? : % -> Boolean retract : % -> String retract : % -> Identifier retract : % -> DoubleFloat retract : % -> Integer ?~=? : (%,%) -> Boolean buildSyntax : (Identifier,List %) -> % ?case? : (%,[|"String"|]) -> Boolean ?case? : (%,[|"Identifier"|]) -> Boolean ?case? : (%,[|"DoubleFloat"|]) -> Boolean ?case? : (%,[|"Integer"|]) -> Boolean getOperator : % -> Union(Integer,DoubleFloat,Identifier,String,%) retractIfCan : % -> Union(String,"failed") retractIfCan : % -> Union(Identifier,"failed") retractIfCan : % -> Union(DoubleFloat,"failed") retractIfCan : % -> Union(Integer,"failed")

fricas
reify(String)

\label{eq2}\hbox{\axiomType{String}\ }(2)
Type: ConstructorCall? DomainConstructor?

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{eq3}x(3)
fricas
b := 'y :: OutputForm

\label{eq4}y(4)
fricas
a and b

\label{eq5}and \left({x , \: y}\right)(5)
Type: PropositionalFormula? OutputForm

fricas
phi := operator phi

\label{eq6}\phi(6)
fricas
deq := 6*D(phi(x), x) + 10*phi(x) + 150*cos(phi(x)) = 0

\label{eq7}{{6 \ {{\phi_{\ }^{,}}\left({x}\right)}}+{{150}\ {\cos \left({\phi \left({x}\right)}\right)}}+{{10}\ {\phi \left({x}\right)}}}= 0(7)
Type: Equation Expression Integer
fricas
solve(deq, phi, x)

\label{eq8}{\int^{
\displaystyle
{\phi \left({x}\right)}}{{6 \over{{{15}\ {\cos \left({\%H}\right)}}+ \%H}}\ {d \%H}}}+{{10}\  x}(8)
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{eq9}\phi(9)
fricas
(9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10 + 150*cos(phi(x)))::InputForm

\label{eq10}9 <em> D (D (phi (x) , x : : \hbox{\axiomType{Symbol}\ }) , x : : \hbox{\axiomType{Symbol}\ }) + 6 </em> D (phi (x) , x : : \hbox{\axiomType{Symbol}\ }) + 150 <em> cos (phi (x)) + 10(10)
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

\label{eq11}3735928559(11)
fricas
16rcafebabe

\label{eq12}3405691582(12)
fricas
2r111000101001

\label{eq13}3625(13)

fricas
y:=operator 'y

\label{eq14}y(14)
fricas
deq := x**3 * D(y x, x, 3) + x**2 * D(y x, x, 2) - 2 * x * D(y x, x) + 2 * y x = 2 * x**4

\label{eq15}{{{x^3}\ {{y_{\ }^{, , ,}}\left({x}\right)}}+{{x^2}\ {{y_{\ }^{, ,}}\left({x}\right)}}-{2 \  x \ {{y_{\ }^{,}}\left({x}\right)}}+{2 \ {y \left({x}\right)}}}={2 \ {x^4}}(15)
Type: Equation Expression Integer
fricas
solve(deq,y,z)

\label{eq16}\mbox{\tt "failed"}(16)
Type: Union("failed",...)




  Subject:   Be Bold !!
  ( 12 subscribers )  
Please rate this page: