help links subscribe changes refresh edit

	SandBoxSymbolicExpressions
SymbolicAssociativeExpressions ←	↑

SymbolicNonAssociativeExpressions

Edit detail for SymbolicNonAssociativeExpressions revision 2 of 2

	1 2
Editor: Bill Page Time: 2017/02/05 21:40:29 GMT+0
Note:

changed:
-)lib IDAX IDAX- ID
)lib IDAXL IDAXL- LID IDAXR IDAXR- RID IDAX IDAX- ID

fricas

(1) -> )lib AXIOM SINF SYMCAT SYMB AND SEXPR

   >> System error:
   The value
  598
is not of type
  LIST

Just identities for addition and multiplication (required for pattern matching)

fricas

MYSYM:=Symbolic(Integer,ID)

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

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

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

fricas

x:=1+2+3

$\label{eq1}6$

(1)

Type: PositiveInteger?

fricas

simplify x

$\label{eq2}6$

(2)

Type: Expression(Integer)

fricas

simplify(x+y)

$\label{eq3}y + 6$

(3)

Type: Expression(Integer)

fricas

r1:=_rule(2,4)$RewriteRule(Integer,Integer,MYSYM)

   MYSYM is not a valid type.