New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Allow general base rings for WeierstrassForm #15996
Comments
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:3
The floor division works in 6.2.beta5, possibly due to #13048:
|
comment:4
Hi Volker, without the patch, the following still does not work:
Unfortunately, I don't know enough about the internals of (multivariate) rings in Sage. Is there a better cast than the one in #13048 that one could make to get this to work, too? Best, |
This comment has been minimized.
This comment has been minimized.
comment:8
This description is way too vague to understand what
|
Currently, one method in
sage.rings.invariant_theory
and another one insage.schemes.toric.weierstrass
make use of__floordiv__
. More precisely, if p and m are elements in a ring R with base ring B, then one needsp // m
,where
m
always has a unit coefficient. However,__floordiv__
is only implemented if B is a field and therefore doing something likedoes not work because
fails. However, since the coefficients of
m
are always inQQ
, we can work around that and I've written a short patch that does so.It might not be very pretty (if someone has a nicer idea, that would be great), but it works and actually speeds up long calculations.
Best,
Jan
CC: @vbraun
Component: algebraic geometry
Keywords: toric, weierstrass
Author: Jan Keitel
Branch/Commit: u/jkeitel/weierstrass_general_rings @
3c0999f
Issue created by migration from https://trac.sagemath.org/ticket/15996
The text was updated successfully, but these errors were encountered: