spielwiese
Last change
on this file since 6c524f was
6c524f,
checked in by Jakob Kröker <kroeker@…>, 10 years ago

added a test for empty char series


Property mode set to
100644

File size:
717 bytes

Line  

1  LIB "tst.lib"; 

2  tst_init(); 

3  // an error about side effects of WerrorS in libfac routines: 

4  

5  LIB "primdec.lib"; 

6  LIB("ehv.lib"); 

7  ring r = 0,(x,y,z),lp; 

8  def p=z^2 + 1; 

9  def q=z^3 + 2; 

10  def sage20=p * q^2; 

11  def sage21=yz^2; 

12  ideal i=sage20,sage21; 

13  kill sage21; 

14  kill sage20; 

15  def sage23=primdecSY(i); 

16  print(sage23); 

17  

18  ring r = 0,(x,y,z),lp; 

19  def sage24=z^2 + 1; 

20  ERROR("kill p;"); 

21  def sage25=z^3 + 2; 

22  def sage26=2; 

23  def sage27=sage25 ^ sage26; 

24  def sage28=sage24 * sage27; 

25  def sage29=yz^2; 

26  ideal sage30=sage28,sage29; 

27  def sage31=primdecSY(sage30); 

28  sage31; 

29  

30  // empty char series 

31  

32  ideal I = 3*y^23, 3*x^2+1, x*y+2*z^2; 

33  def L1 = primdecGTZ(I); 

34  def L2 = primdecSY(I); 

35  ASSUME(0, primDecsAreEquivalent(L1, L2) ); 

36  L2; 

37  

38  tst_status(1);$ 

Note: See
TracBrowser
for help on using the repository browser.