I'm (somewhat) aware of bugs which come from poor treatment of weighted
polynomial rings. In my mind this has two solutions.
1) Someone who is an expert in toric varieties has another look through the
current code, adds more extensive testing and methods for computations in
the area
2) We work
Sage's treatment of weighted polynomial rings is buggy, cf. e.g.
https://github.com/sagemath/sage/issues/37167
this is something that should be addressed, one way or another
On Mon, Mar 11, 2024 at 9:31 PM Giacomo Pope wrote:
> Dear all,
>
> *Summary*
>
> To better support arithmetic on
Dear all,
*Summary*
To better support arithmetic on Jacobians and have a more natural
implementation of hyperelliptic curves, we should implement them as toric
varieties with a weighted polynomial ring (1 : 3 : 1) instead of plane
projective curves.
*Yes / No*
*Discussion*
I am currently