source: git/Tst/Short/bug_tr723.tst @ 197c4e

LIB "tst.lib";
tst_init();

 ring r = (0,a), (x,y,z), dp;
 module m = (a)*x*gen(1)+536870909*y*gen(3);
 m;
 ring s = (536870909,a), (x,y,z), dp;
 module m = fetch(r, m);
 m;
 m;

 setring r; m;
 setring s; m;
 kill r;
 kill s;
 //-------------------------------------------
 ring r1 = (0,a), (x,y,z), dp;
 module m = (a)*x*gen(1)+536870909*y*gen(3);
 m;
 module m2=m;
 m;
 m2;
 kill r1;
 //-------------------------------------------

 ring r2 = (536870909,a), (x,y,z), dp;
 module m = (a)*x*gen(1)+536870909*y*gen(3);
 m;
 module m2=m;
 m;
 m2;
 kill r2;
 //-------------------------------------------
 ring S = (integer, 103),x,dp;

 ideal I = x;
 ring R = integer,y,dp;
 fetch (S,I);
 kill R; kill S;
 //-------------------------------------------

ring r = (0,a), (x,y,z), dp;
module m1 = (a)*x*gen(1)+536870909*y*gen(3), y*gen(2), z*gen(3);
module m2 = x*gen(1)+gen(1), x*gen(1)+gen(1), x*gen(1)+gen(1);
ring rp = (536870909, a), (x,y,z), dp;
module m1 = fetch(r, m1);
module m2 = fetch(r, m2);
m1,
m2;
tst_status(1);$