Bill Page wrote:
>
> Waldek,
>
> Here is a follow up patch that further improves format.boot and
> unparse. It solves the problem demonstrated by your CliffordAlgebra
> example as illustrated below:
>
> The changes to 'src/algebra/constant.spad.pamphlet' and
> 'src/algebra/clifford.spad.pamphlet' provide some missing conversions
> to InputForm. See for example (2) above. There are many more domains
> with missing or problematic conversions to InputForm.
>
For quadratic forms we should use code like this:
if SM(n, K) has ConvertibleTo InputForm then ConvertibleTo InputForm
convert : % -> InputForm
++ convert(qf) returns an InputForm that evaluates to qf.
....
if SM(n, K) has ConvertibleTo InputForm then
convert(q:%):InputForm ==
convert(['quadraticForm, convert(q::SM(n,K))@InputForm])
In constant.spad we should add ConvertibleTo InputForm instead of
giving signature.
> The routine 'matrix2String' in 'src/interp/format.boot' provides a
> string representation for matrix objects. This is used when
> 'prefix2String' is called from 'src/interp/i-output.boot' and
> 'src/interp/msgdb.boot'. E.g. (1) and (5) above.
>
matrix2String looks OK, but I think that OVER, should be done
exactly like division in binop2String. Also, power is somewhat
differet than root, so I would just use "nthRoot" for root.
> Finally $InteractiveMode is set to false when 'unparse' calls
> 'form2String'. This results in the output shown in (3) above.
>
This does not look right: it seems that form2String is also called
from the browser and to format messages from runtime support.
--
Waldek Hebisch
[EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
