[Axiom-developer] Re: MONET Axiom front end -- half way to success

[root]

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) -> %