Re: [Axiom-developer] CAS for the masses

[Ralf Hemmecke]

> | The usual example is:
> | 
> |   (1/2)*x^2 + (1/3)*x + 3
> |                             Type: Polynomial Fraction Integer
> | 
> | %::Fraction(Polynomial(Integer))
> | 
> |       2
> |     3x  + 2x + 18
> |     -------------
> |           6
> |                             Type: Fraction Polynomial Integer

I've just cooked up another one...

(1) -> P := Polynomial FiniteField(5,1)
(1) ->
   (1)  Polynomial FiniteField(5,1)
                           Type: Domain
(2) -> p: P := x+y
   (2)  y + x
                           Type: Polynomial FiniteField(5,1)
(3) -> p^5
         5    5
   (3)  y  + x
(4) -> a: FiniteField(2,1) := 1
   (4)  1
                           Type: FiniteField(2,1)
(5) -> a+a
(5) ->
   (5)  0