1 | LIB "tst.lib"; |
---|

2 | tst_init(); |
---|

3 | |
---|

4 | LIB "primdec.lib"; |
---|

5 | system("random",1760203212); |
---|

6 | ring rng = 2,(x(1),x(2)),(lp(1),lp(1),C); |
---|

7 | ideal I = x(2)^2+x(2)+1,x(1)^2*x(2)+1,0; |
---|

8 | list ML1 = minAssGTZ(I, "facstd"); |
---|

9 | list ML2 = minAssGTZ(I, "GTZ" ); |
---|

10 | ML1; |
---|

11 | ML2; |
---|

12 | reduce( ML1[1], std(ML2[1]) ); |
---|

13 | reduce( ML2[1], std(ML1[1]) ); |
---|

14 | list RML1 = radical( ML1[1]); |
---|

15 | list RML2 = radical( ML2[1]); |
---|

16 | |
---|

17 | reduce( RML1[1], std(RML2[1]) ); |
---|

18 | reduce( RML2[1], std(RML1[1]) ); |
---|

19 | kill rng; |
---|

20 | |
---|

21 | system("random",1416823952); |
---|

22 | ring rng = 2,(x,y,z),(lp,C); |
---|

23 | minpoly = 0; |
---|

24 | ideal I = x^2*y+x*z^2+1,x^2*z+z^2,z^3+1; |
---|

25 | |
---|

26 | list ML1 = minAssGTZ(I, "GTZ" ); |
---|

27 | list ML2 = minAssGTZ(I, "facstd"); |
---|

28 | ML1; |
---|

29 | ML2; |
---|

30 | radical(ML1[1]); |
---|

31 | radical(ML2[1]); |
---|

32 | kill rng; |
---|

33 | |
---|

34 | system("random",2064787217); |
---|

35 | ring rng = 2,(x,y,z),(lp,C); |
---|

36 | ideal I = z^3+1,x^2*y+y*z^2,y+1; |
---|

37 | |
---|

38 | list ML2 = minAssGTZ(I); |
---|

39 | list ML3 = minAssGTZ(I, "GTZ" ); |
---|

40 | ML2; |
---|

41 | ML3; |
---|

42 | |
---|

43 | radical(ML2[1]); |
---|

44 | radical(ML3[1]); |
---|

45 | |
---|

46 | idealsEqual( ML2[1], radical(ML2[1]) ); |
---|

47 | idealsEqual( ML3[1], radical(ML3[1]) ); |
---|

48 | |
---|

49 | tst_status(1);$ |
---|