> (3) -> F2 := Fraction RADIX 2
>
> (3) Fraction(RadixExpansion(2))
>
Type: Type
> (4) -> a :: F2
>
> Fraction(RadixExpansion(2)) is not a valid type.
I don't know exactly which code part triggers this error, but I guess,
it's the same as with the following.
(2) -> Q := Fraction Integer
(2) Fraction(Integer)
Type:
Type
(3) -> Q has IntegralDomain
(3) true
Type:
Boolean
(5) -> F := Fraction Q
(5) Fraction(Fraction(Integer))
Type:
Type
(6) -> f: F := 1
Fraction(Fraction(Integer)) is not a valid type.
I've found an older thread where similar things where discussed.
http://lists.nongnu.org/archive/html/axiom-developer/2006-09/msg00570.html
The problem in your case probably is that
(6) -> RadixExpansion 2 has Field
(6) true
and that the interpreter doesn't want to construct a Fraction over a
field. Whether that's good or bad, is to be discussed.
Ralf
--
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.
