[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: MONET Axiom front end -- half way to success
From: |
root |
Subject: |
[Axiom-developer] Re: MONET Axiom front end -- half way to success |
Date: |
Wed, 9 Jun 2004 17:13:26 -0400 |
Elena,
If you do:
)set output length 254
and then use unparse (see the attached) you can get the output
in a flat form.
Tim
==================================================================
You may wish to use the InputForm domain, where you can find some
bizarre functions. In your case, "unparse" may help you, as follows.
Best regards,
Daniel
(1) -> p:=(a+b+y)^2*y+1-(x+y+z)^4
(1)
4 3 2 2 2
- z + (- 4y - 4x)z + (- 6y - 12x y - 6x )z
+
3 2 2 3 4 3 2 2
(- 4y - 12x y - 12x y - 4x )z - y + (- 4x + 1)y + (- 6x + 2b + 2a)y
+
3 2 2 4
(- 4x + b + 2a b + a )y - x + 1
Type: Polynomial Integer
(2) -> pi:=p::InputForm
(2)
(+
(+
(+ (+ (* - 1 (** z 4)) (* (+ (* - 4 y) (* - 4 x)) (** z 3)))
(* (+ (+ (* - 6 (** y 2)) (* (* - 12 x) y)) (* - 6 (** x 2))) (** z 2)))
(*
(+
(+ (+ (* - 4 (** y 3)) (* (* - 12 x) (** y 2)))
(* (* - 12 (** x 2)) y))
(* - 4 (** x 3)))
z)
)
(+
(+
(+ (+ (* - 1 (** y 4)) (* (+ (* - 4 x) 1) (** y 3)))
(* (+ (* - 6 (** x 2)) (+ (* 2 b) (* 2 a))) (** y 2)))
(* (+ (* - 4 (** x 3)) (+ (+ (** b 2) (* (* 2 a) b)) (** a 2))) y))
(+ (* - 1 (** x 4)) 1))
)
Type: InputForm
(3) -> unparse(pi)
(3)
"(-z**4)+((-4*y)+(-4*x))*z**3+((-6*y*y)+(-12*x*y)+(-6*x*x))*z*z+((-4*y**3)+(-
12*x*y*y)+(-12*x*x*y)+(-4*x**3))*z+(-y**4)+((-4*x)+1)*y**3+((-6*x*x)+2*b+2*a)
*y*y+((-4*x**3)+b*b+2*a*b+a*a)*y+(-x**4)+1"
Type: String
(4) -> )sh InputForm
InputForm is a domain constructor
Abbreviation for InputForm is INFORM
This constructor is not exposed in this frame.
Issue )edit /local/augot/axiom/mnt/linux/../../src/algebra/INFORM.spad to see
algebra source code for INFORM
------------------------------- Operations --------------------------------
#? : % -> Integer ?*? : (%,%) -> %
?**? : (%,Integer) -> % ?+? : (%,%) -> %
?/? : (%,%) -> % ?=? : (%,%) -> Boolean
1 : () -> % 0 : () -> %
atom? : % -> Boolean binary : (%,List %) -> %
car : % -> % cdr : % -> %
coerce : % -> OutputForm convert : SExpression -> %
convert : % -> SExpression convert : OutputForm -> %
convert : DoubleFloat -> % convert : Integer -> %
convert : Symbol -> % convert : String -> %
convert : List % -> % declare : List % -> Symbol
destruct : % -> List % ?.? : (%,List Integer) -> %
?.? : (%,Integer) -> % eq : (%,%) -> Boolean
expr : % -> OutputForm flatten : % -> %
float : % -> DoubleFloat float? : % -> Boolean
hash : % -> SingleInteger integer : % -> Integer
integer? : % -> Boolean interpret : % -> Any
lambda : (%,List Symbol) -> % latex : % -> String
list? : % -> Boolean null? : % -> Boolean
pair? : % -> Boolean string : % -> String
string? : % -> Boolean symbol : % -> Symbol
symbol? : % -> Boolean unparse : % -> String
?~=? : (%,%) -> Boolean
?**? : (%,NonNegativeInteger) -> %
compile : (Symbol,List %) -> Symbol
function : (%,List Symbol,Symbol) -> %
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Re: MONET Axiom front end -- half way to success,
root <=