Changeset 3373f84 in git for Tst/Short/hnoether_s.tst
- Timestamp:
- Apr 14, 2005, 5:47:10 PM (19 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 54f622be322e398945bc5618f6b2695330cac5e3
- Parents:
- 7fa60f271650fb75da945dbf4eae02cf8cc5a570
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Tst/Short/hnoether_s.tst
r7fa60f r3373f84 24 24 param(develop(f)); 25 25 kill r; 26 // ------------ test of reddevelop: -------------------26 // ------------ test of hnexpansion: ------------------- 27 27 ring r=0,(x,y),dp; 28 reddevelop(x6-y4); 29 setring r; 30 kill HNEring; 31 list hne=reddevelop((y-x2+x3)*(y-x2-x3)); 32 setring r; 33 kill HNEring; 34 reddevelop((x7-2x4y2+xy4-1y5)*(x7-4x4y2+4xy4-1y5)); 35 kill HNEring; 28 hnexpansion(x6-y4); 29 hnexpansion((y-x2+x3)*(y-x2-x3)); 30 hnexpansion((x7-2x4y2+xy4-1y5)*(x7-4x4y2+4xy4-1y5)); 31 32 ring F2=2,(x,y,t),ds; 33 def L=hnexpansion(y2+x7y+x9+x8); 34 param(L); 35 kill L,F2; 36 36 37 //--------------- examples with change to ring extension 37 38 ring R=32003,(x,y),dp; 38 reddevelop(x6+y4); 39 kill HNEring; 40 ring F2=2,(x,y),dp; 41 reddevelop(y2+x7y+x9+x8); 42 kill HNEring; 39 def L=hnexpansion(x6+y4); 40 def HNring = L[1]; setring HNring; displayHNE(hne); 41 kill L,HNring; 42 43 43 //--------------- example with more than one ring change 44 44 ring F3=3,(x,y),dp; 45 list hne=reddevelop((x3-xy2+y3)*(x2+y2)*(x4-x3y+xy3+y4)); 45 poly f=(x3-xy2+y3)*(x2+y2)*(x4-x3y+xy3+y4); 46 list L=hnexpansion(f); 47 def HNring = L[1]; setring HNring; displayHNE(hne); 46 48 map T; int i; 47 poly f=(x3-xy2+y3)*(x2+y2)*(x4-x3y+xy3+y4);48 49 for (i=1; i<=size(hne); i++) { 49 50 T=basering,param(hne[i]); 50 51 T(f); 51 52 } 52 kill HNEring; 53 kill hne,HNring,F3,L; 54 53 55 // ------------ test of extdevelop: ------------------- 54 56 setring r; … … 60 62 // ------------ test of essdevelop: ------------------ 61 63 setring R; 62 essdevelop(x6+y4); 63 kill HNEring; 64 list L=essdevelop(x6+y4); 65 L[2]; // number of conjugated branches 66 def HNring = L[1]; setring HNring; displayHNE(hne); 67 kill hne,L,HNring; 64 68 setring r; 65 69 // ------------ test of param: ------------------------ … … 74 78 example invariants; 75 79 example displayInvariants; 76 list hne=reddevelop((x2-y3)*(x2+y3)); 77 intersection(hne[1],hne[2]); 80 list L=hnexpansion((x2-y3)*(x2+y3)); 81 intersection(L[1],L[2]); 82 kill L; 78 83 example stripHNE; 79 84 puiseux2generators(intvec(3,7,15,31,63,127),intvec(2,2,2,2,2,2)); 80 85 setring r; 81 mult iplicities(develop(x5+y7));86 multsequence(develop(x5+y7)); 82 87 example newtonpoly; 83 88 example is_irred; 84 89 is_irred((x2+y3)*(x2+y3+xy2)); 85 example HNdevelop;86 90 // ------- test of getnm, T_Transform, T1_Transform, T2_Transform, koeff, ----- 87 91 // ------------ redleit, squarefree, allsquarefree, referencepoly ---------- … … 95 99 example squarefree; 96 100 example allsquarefree; 97 list L=list(poly(x-y),ideal(x,y)); 101 98 102 // --------------- additions: ----------------------------- 99 103 example further_hn_proc; … … 115 119 example extdevelop; 116 120 example factorfirst; 117 example essdevelop;118 121 example factorlist; 119 122 example develop; 120 123 example param; 121 example reddevelop;122 124 example hnexpansion; 123 example sethnering;124 125 example delta; 125 126 example is_NND; 126 127 127 tst_status(1);$
Note: See TracChangeset
for help on using the changeset viewer.