Less permissive ring creation

14 views
Skip to first unread message

Jean-Pierre Flori

unread,
Aug 25, 2016, 9:05:28 AM8/25/16
to libsingular-devel
Dear all,

I encountered the following issue in mprimdec.lib::GTZmod:
https://github.com/Singular/Sources/blob/spielwiese/Singular/LIB/mprimdec.lib#L635
execute("ring Rloc=("+charstr(basering)+","+varstr(basering)+"),dummy,("+ordstr(basering)+");");

In my case it is:
ring basering = 0,(x,y,z),dp;
which gives
ring Rloc = (0,x,y,z), dummy,(dp(3),C);

Singular 3.x used to accept this and applied dp to the sole variable dummy.
But now Singular 4.x complains that dp(3) wants 3 variables.

So two things:
* Singular behavior changed, and this makes sense to me, although one might want to apply the same ordering to a ring with more variables and cannot directly use ordstr for that anymore,
* not sure what is intended in the Rloc creation regarding ordering, so I have no idea how to properly fix it.

Best,
JP

Jean-Pierre Flori

unread,
Aug 31, 2016, 3:45:50 AM8/31/16
to libsingular-devel

Jean-Pierre Flori

unread,
Sep 1, 2016, 6:07:49 AM9/1/16
to libsingular-devel
Any chance to fix that one?
(By the way, I'm in KL right now if you want to discuss it face to face.)

han...@mathematik.uni-kl.de

unread,
Sep 1, 2016, 8:19:08 AM9/1/16
to libsingu...@googlegroups.com
it is now included: see 6d80671f0368807c17616b668161db9c22192314

Reply all
Reply to author
Forward
0 new messages