My version is just a little bit ahead
Singular for x86_64-Linux version 4.4.1 (44100, 64 bit) Jan 2025
On Tue, 20 May 2025 at 18:05, Georgi Guninski wrote:
>
> On Tue, May 20, 2025 at 2:48 PM Vincent Delecroix
> <20100.delecr...@gmail.com> wrote:
> >
> > Works for me (archlinux system sage (vers
On Tue, May 20, 2025 at 2:48 PM Vincent Delecroix
<20100.delecr...@gmail.com> wrote:
>
> Works for me (archlinux system sage (version 10.6))
>
> sage: va=Ideal(J).variety()
Thanks for testing.
I think the problem if any is in Singular.
My Singular is:
Singular for x86_64-Linux version 4.4.0 (44004
Works for me (archlinux system sage (version 10.6))
sage: va=Ideal(J).variety()
sage: va
[{x47: 697230/5107,
x46: -3963219/20428,
x45: 877339/5107,
x44: -255117/20428,
x43: -1366305/10214,
x42: -1153515/5107,
x41: 144,
x40: 121,
x39: 1439210/15321,
x38: -2717419/20428,
x37: 602
I got linear zero dimensional ideal in 48 variables over QQ and when I
run .variety() I get error and traceback. Looks like the python
exception isn't caught due to a deeper error. Groebner basis of the
ideal works.
For most ideals, variety works.
Tested on 10.6 on linux
>From the attached testc
