source: git/Tst/Manual/letterplace_modulo.tst @ 0d6b7fc

spielwiese Release-4-3-2p2
Last change on this file since 0d6b7fc was f48e27, checked in by Karim Abou Zeid <karim.abou.zeid@…>, 4 years ago
Add LP modulo test
  • Property mode set to 100644
File size: 202 bytes
Line 
1LIB "tst.lib"; tst_init();
2LIB"freegb.lib";
3
4option(redSB); option(redTail);
5
6ring r = 0,(x,y,z),(c,dp);
7ring R = freeAlgebra(r, 10, 3);
8ideal h1 = x,y,z;
9ideal h2 = x;
10modulo(h1, h2);
11
12tst_status(1);$
Note: See TracBrowser for help on using the repository browser.