>
> But isn't U32Matrix a hack? It claims to be
> MatrixCategory(Integer, ...), but it's 32bit unsigned integer.
>
> If "q := (x^2+x - 1)::SUP(INT)", there's a "-1", then it will give
> >> System error:
> The value
> -1
> is not of type
> (UNSIGNED-BYTE 32)
Sure. The intent of U32* things is to speed up modular computations.
It is not clear if 'sysvesterMatrix' will give you speedup,
but at least it works now.
> Another argument is easy of use. If we choose Matrix as its
> default, then we don't have to use '$BezoutMatrix(...)"
> to specify the exact package, interpreter will figure it out.
Yes, that is a point. However:
- a lot of packages are affected by this problem, so better
solution would be to improve interpreter
- if you really think that specifying types is too painful
you can add a convenience packages like:
BezoutMatrixMatrix(R : Ring, UP : UnivariatePolynomialCategory R) ==
BezoutMatrix(R, UP, Matrix(R), Vector(R), Vector(R))
For example guessing package declares a few conveniece packages
like that.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
