> tex(coerce(mersenne)@OutputForm)
That's not interesting.
> But if you want the exact output that you got above, then
> ATM there are no clean way. Namely printing of functions is a
> hack in the interpreter, avoiding normal way via OutputForm...
I wouldn't care to do a similar hack in my testsuite as long as I get
out what is printed in a session. If the interpreter changes some day, I
can change the tests accordingly, but I want to test what is shown in a
session by FriCAS means and not via grepping the session output by an
external program.
I have the feeling that outputTran is involved, but cannot exactly find
where a function would be transformed into the respective SExpression
(or rather OutputForm). In fact, OutputForm is what I need, not
List(String).
(5) -> outputTran(mersenne)$Lisp
(5) (CONCATB ($elt Lisp outputTran) #1 == (+ (^ 2 #1) (- 1)))
Type: SExpression
I have similar problems for the cases below. In particular, printing of
types.
Ralf
(6) -> formatExpression$TexFormat
(6) theMap(TEX;formatExpression;OfIL;29,655)
Type: ((OutputForm,Integer) ->
List(String))
(7) -> OF==>OutputForm
Type:
Void
(8) -> eq_fn: (OF, OF) -> OF := =$OF
(8) theMap(OUTFORM;=;3$;5,655)
Type: ((OutputForm,OutputForm) ->
OutputForm)
(9) -> Integer
(9) Integer
Type:
Type
(10) -> UnivariatePolynomial('x, Fraction Integer)
(10) UnivariatePolynomial(x,Fraction(Integer))
Type:
Type
(11) -> addx x == ((y: Integer): Integer +-> x + y)
Type:
Void
(12) -> addx
(12) addx x == y +-> x + y
Type:
FunctionCalled(addx)
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
