Bill Page wrote:
> Ralf,
>
> I think that the map
>
> coerce : Fraction Polynomial Complex Integer -> %
>
> which is apparently x+-> [x,x]
>
> in
>
> )sh DirectProduct(2,Fraction Polynomial Complex Integer)
>
> should not be called a coercion.
Good spot. AFAICS that coercion is defined because we have
if R has SetCategory then FullyRetractableTo R
in DirectProductCategory. IMHO this does not make sense.
But before removing it one have to fix a few places in algebra
(at least retract in SquareMatrix) where the retraction from direct
product to scalars is used.
--
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.
