AngouriMath
MaxSylvesterSize
Field
Summary
The bound on deg f + deg g . It exists to stop the matrix being built at
all; what the elimination then costs is bounded by
MaxEliminationWork instead, and the two are not the same question.
all; what the elimination then costs is bounded by
MaxEliminationWork instead, and the two are not the same question.
Remarks
Size is the cheap axis, which is why this is generous. With scalar entries the
elimination doessize^3 / 3 units of the work counted below, and 40 measured
31ms and 35MB of allocation — where the same size with three-term entries costs 22
seconds and 79GB. So a ceiling on size alone can only be right for one shape of
input at a time, and this one is set for the shape it can actually decide: 40
admits the discriminant of anything up to degree 20, sincedeg f + deg f' is
2 deg f - 1 . https://github.com/asc-community/AngouriMath/issues/921
elimination does
31ms and 35MB of allocation — where the same size with three-term entries costs 22
seconds and 79GB. So a ceiling on size alone can only be right for one shape of
input at a time, and this one is set for the shape it can actually decide: 40
admits the discriminant of anything up to degree 20, since
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online