spielwiese
Last change
on this file since 8f4794 was
8f4794,
checked in by Adi Popescu <adi_popescum@…>, 10 years ago

Added tests Tst/New/qring_with_constant


Property mode set to
100644

File size:
951 bytes

Line  

1  LIB "tst.lib"; 

2  tst_init(); 

3  

4  ring rng = (integer),(x,y,z),dp; 

5  

6  ideal iq = 14,x22; 

7  iq = std(iq); 

8  

9  ideal bla= 7y28z,yz; 

10  

11  qring rngQ = iq; 

12  

13  def bla1=imap(rng,bla); 

14  bla1; 

15  

16  def bla2=fetch(rng,bla); 

17  bla2; 

18  

19  map mapi=rng,x,y,z; 

20  def bla3=mapi(bla); 

21  bla3; 

22  

23  

24  ring rng1 = (integer,100),(x,y,z),dp; 

25  

26  ideal iq = 20,x22; 

27  iq = std(iq); 

28  

29  ideal bla= 7y28z,yz; 

30  

31  qring rngQ = iq; 

32  

33  def bla1=imap(rng1,bla); 

34  bla1; 

35  

36  def bla2=fetch(rng1,bla); 

37  bla2; 

38  

39  map mapi=rng1,x,y,z; 

40  def bla3=mapi(bla); 

41  bla3; 

42  

43  

44  ring rng2 = (integer,2,5),(x,y,z),dp; 

45  

46  ideal iq = 28,x22; 

47  iq = std(iq); 

48  

49  ideal bla= 7y28z,yz; 

50  

51  qring rngQ = iq; 

52  

53  def bla1=imap(rng2,bla); 

54  bla1; 

55  

56  def bla2=fetch(rng2,bla); 

57  bla2; 

58  

59  map mapi=rng2,x,y,z; 

60  def bla3=mapi(bla); 

61  bla3; 

62  

63  ring rng3 = (integer,7,5),(x,y,z),dp; 

64  

65  ideal iq = 49,x22; 

66  iq = std(iq); 

67  

68  ideal bla= 7y96z,yz; 

69  

70  qring rngQ = iq; 

71  

72  def bla1=imap(rng3,bla); 

73  bla1; 

74  

75  def bla2=fetch(rng3,bla); 

76  bla2; 

77  

78  map mapi=rng3,x,y,z; 

79  def bla3=mapi(bla); 

80  bla3; 

81  

82  tst_status(1); 

83  $ 

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