It's a real pain when interpreter can't (or impossible to)
figuer out type arguments of a package, and you have
to write something like this:
T ==> BezoutMatrix(POLY INT, UP(x, POLY INT), Matrix POLY INT, Vector
POLY INT, Vector POLY INT)
So I add this wrapper:
diff --git a/src/algebra/bezout.spad b/src/algebra/bezout.spad
index a4aec19..259f54a 100644
--- a/src/algebra/bezout.spad
+++ b/src/algebra/bezout.spad
@@ -210,6 +211,13 @@ BezoutMatrix(R, UP, M, Row, Col) : Exports ==
Implementation where
-bezoutResultant(f, differentiate f)
error "bezoutDiscriminant: leading coefficient must be 1"
+)abbrev package BEZOUT2 BezoutMatrixWrapper
+++ Description:
+++ This is a wrapper package for BezoutMatrix, to avoid manually
+++ filling up type arguments.
+BezoutMatrixWrapper(R : Ring, UP : UnivariatePolynomialCategory R) ==
+ BezoutMatrix(R, UP, Matrix R, Vector R, Vector R)
+
--Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
--All rights reserved.
--
--
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.
