> I have now a patch which modifies coercion to OutputForm so that
> just 'tex(mersenne::OutputForm)' works. As a nice byproducts
> it avoids some of abuses of 'OutputForm'.
OK, but I haven't seen that patch yet.
>> (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)
>
> What is the problem above? AFAICS this is just goes via regular
> OutputForm.
I'm sorry. I blindly only applied "tex" without first coercing to
OutputForm.
>> (9) -> Integer
>>
>> (9) Integer
>> Type:
>> Type
>> (10) -> UnivariatePolynomial('x, Fraction Integer)
>>
>> (10) UnivariatePolynomial(x,Fraction(Integer))
>> Type:
>> Type
>
> Types also have special routine to print them. More precisely,
> there is ad hoc function 'outputDomainConstructor' which produces
> corresponding output form. In principle this function could be
> used to coerce types to 'OutputForm'. However, AFAICS 'Category'
> has no way to add operations, so there is no place to hook it...
That doesn't always do what I want.
(1) -> outputDomainConstructor(UnivariatePolynomial('x, Fraction
Integer))$Lisp
>> System error:
The variable |x| is unbound.
Ralf
--
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.
