[ Charset ISO-8859-1 unsupported, converting... ]
>
> 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.
>
> Could you please take a look at this when you have time and maybe
> suggest something I can try to resolve this?
>
> Thanks.
>
> Regards,
> Bill Page.
>
I belive that bootstrap problem is due to this snippet:
> - T ==> AbelianGroup with
> + T ==> Join(AbelianGroup,
> + if SM(n, K) has ConvertibleTo InputForm then
> + ConvertibleTo InputForm)
> + with
> quadraticForm: SM(n, K) -> %
You should add conditional part _after_ with. The following
allows bootstrap to go OK:
--- trunk.bb/src/algebra/clifford.spad.pamphlet 2008-10-01 15:50:03.000000000
+0200
+++ trunk/src/algebra/clifford.spad.pamphlet 2008-10-01 16:20:52.000000000
+0200
@@ -42,6 +42,7 @@
elt: (%, V(n, K)) -> K
++ elt(qf,v) evaluates the quadratic form qf on the vector v,
++ producing a scalar.
+ if SM(n, K) has ConvertibleTo InputForm then ConvertibleTo InputForm
Impl ==> SM(n,K) add
Rep := SM(n,K)
Basically, any category which is given as argument to Join must
be available when Join is processed. So your version tries to
handle conditional during bootstrap and fails. Conditional parts
after with are checked very loosly during bootstrap, so such
variant works.
--
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
-~----------~----~----~----~------~----~------~--~---
