On Tue, Sep 30, 2008 at 11:11 PM, Bill Page I wrote:
> Waldek,
>
> When re-building FriCAS with my most recent changes I seem to have run
> into a bootstrap issue. The compiler now complains that
> SquareMatrix(n,K) is not known. QFORM is one of the domains that I
> changed to add new conversions to InputForm.
>
Further note:
Commenting out the conditional code in QuadraticForm from
clifford.spad.pamphlet:
QuadraticForm(n, K): T == Impl where
n: PositiveInteger
K: Field
SM ==> SquareMatrix
V ==> DirectProduct
T ==> Join(AbelianGroup,
--if SM(n, K) has ConvertibleTo InputForm then
ConvertibleTo InputForm)
with
...
Impl ==> SM(n,K) add
Rep := SM(n,K)
import List InputForm
-- Unconditional to avoid problems with bootstrap
--if SM(n, K) has ConvertibleTo InputForm then
convert(q:%):InputForm ==
convert(['quadraticForm,convert(matrix q)])
...
allows the compile to continue after another cofigure && make.
Currently in phase 6. I let you know later if it completes without
further error.
Regards,
Bill Page.
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
