[0bb2274] | 1 | LIB "tst.lib"; |
---|
| 2 | tst_init(); |
---|
| 3 | |
---|
| 4 | LIB "nets.lib"; |
---|
| 5 | |
---|
| 6 | |
---|
| 7 | ring r1=101,(x,y,z),lp; |
---|
| 8 | list L=111, x+y, x3y-z, y+3z4; |
---|
| 9 | print("list L=111, x+y, x3y-z, y+3z4"); |
---|
| 10 | netList(L); |
---|
| 11 | kill r1; |
---|
| 12 | |
---|
| 13 | ring r1=101,(x,y,z),lp; |
---|
| 14 | number a= 5; |
---|
| 15 | netNumber(a); |
---|
| 16 | kill r1; |
---|
| 17 | |
---|
| 18 | ring r=0,x,lp; |
---|
| 19 | netCoefficientRing(r); |
---|
| 20 | kill r; |
---|
| 21 | |
---|
| 22 | |
---|
| 23 | ring r=0,x,lp; |
---|
| 24 | int n=2; |
---|
| 25 | int m=5; |
---|
| 26 | netPrimePower(n,m); |
---|
| 27 | kill r; |
---|
| 28 | |
---|
| 29 | |
---|
| 30 | ring r = 32003,(x,y,z),dp; |
---|
| 31 | netRing(r); |
---|
| 32 | kill r; |
---|
| 33 | |
---|
| 34 | ring r = 32003,(x(1..10)),dp; |
---|
| 35 | netRing(r); |
---|
| 36 | kill r; |
---|
| 37 | |
---|
| 38 | ring r = 32003,(x(1..5)(1..8)),dp; |
---|
| 39 | netRing(r); |
---|
| 40 | kill r; |
---|
| 41 | |
---|
| 42 | ring r = 0,(a,b,c,d),lp; |
---|
| 43 | netRing(r); |
---|
| 44 | |
---|
| 45 | kill r; |
---|
| 46 | ring r = 7,(x,y,z),ds; |
---|
| 47 | netRing(r); |
---|
| 48 | |
---|
| 49 | |
---|
| 50 | kill r; |
---|
| 51 | ring r = 7,(x(1..6)),(lp(3),dp); |
---|
| 52 | netRing(r); |
---|
| 53 | |
---|
| 54 | kill r; |
---|
| 55 | ring r = 0,(x,y,z,a,b,c),(ds(3), dp(3)); |
---|
| 56 | netRing(r); |
---|
| 57 | |
---|
| 58 | kill r; |
---|
| 59 | ring r = 0,(x,y,z),(c,wp(2,1,3)); |
---|
| 60 | netRing(r); |
---|
| 61 | |
---|
| 62 | kill r; |
---|
| 63 | ring r = (7,a,b,c),(x,y,z),Dp; |
---|
| 64 | netRing(r); |
---|
| 65 | |
---|
| 66 | kill r; |
---|
| 67 | ring r = (7,a),(x,y,z),dp; |
---|
| 68 | minpoly = a^2+a+3; |
---|
| 69 | netRing(r); |
---|
| 70 | |
---|
| 71 | kill r; |
---|
| 72 | ring r = (7^2,a),(x,y,z),dp; |
---|
| 73 | netRing(r); |
---|
| 74 | |
---|
| 75 | kill r; |
---|
| 76 | ring r = real,(x,y,z),dp; |
---|
| 77 | netRing(r); |
---|
| 78 | |
---|
| 79 | kill r; |
---|
| 80 | ring r = (real,50),(x,y,z),dp; |
---|
| 81 | netRing(r); |
---|
| 82 | |
---|
| 83 | kill r; |
---|
| 84 | ring r = (real,10,50),(x,y,z),dp; |
---|
| 85 | netRing(r); |
---|
| 86 | |
---|
| 87 | kill r; |
---|
| 88 | ring r = (complex,30,j),(x,y,z),dp; |
---|
| 89 | netRing(r); |
---|
| 90 | |
---|
| 91 | kill r; |
---|
| 92 | ring r = complex,(x,y,z),dp; |
---|
| 93 | netRing(r); |
---|
| 94 | |
---|
| 95 | kill r; |
---|
| 96 | ring R = 7,(x,y,z), dp; |
---|
| 97 | qring r = std(maxideal(2)); |
---|
| 98 | netRing(r); |
---|
| 99 | |
---|
| 100 | |
---|
| 101 | kill r; |
---|
| 102 | ring r1=101,(x,y,z),lp; |
---|
| 103 | ring r2=103,(a,b,c),lp; |
---|
| 104 | map f=r1,ab,ac,bc; |
---|
| 105 | netMap(f); |
---|
| 106 | kill r1,r2; |
---|
| 107 | |
---|
| 108 | |
---|
| 109 | int a=111111; |
---|
| 110 | int b=22222; |
---|
| 111 | int c=3333; |
---|
| 112 | int d=444; |
---|
| 113 | bigintmat M[2][2]=a,b,c,d; |
---|
| 114 | netBigIntMat(M); |
---|
| 115 | kill a,b,c,d,M; |
---|
| 116 | |
---|
| 117 | ring r; |
---|
| 118 | bigint a=1111111111111111; |
---|
| 119 | bigint b=2222222222222222; |
---|
| 120 | bigint c=3333333333333333; |
---|
| 121 | bigint d=44; |
---|
| 122 | bigintmat M[2][2]=a,b,c,d; |
---|
| 123 | netBigIntMatShort(M); |
---|
| 124 | kill a,b,c,d,M; |
---|
| 125 | |
---|
| 126 | |
---|
| 127 | int a=111111; |
---|
| 128 | int b=222222; |
---|
| 129 | int c=333333; |
---|
| 130 | int d=444444; |
---|
| 131 | intmat M[2][2]=a,b,c,d; |
---|
| 132 | netIntMat(M); |
---|
| 133 | kill a,b,c,d,M; |
---|
| 134 | |
---|
| 135 | |
---|
| 136 | int a=111111; |
---|
| 137 | int b=222222; |
---|
| 138 | int c=333333; |
---|
| 139 | int d=444444; |
---|
| 140 | intvec V=a,b,c,d; |
---|
| 141 | netIntVector(V); |
---|
| 142 | kill a,b,c,d,V; |
---|
| 143 | |
---|
| 144 | int a=111111; |
---|
| 145 | int b=222222; |
---|
| 146 | int c=333333; |
---|
| 147 | int d=444444; |
---|
| 148 | intvec V=a,b,c,d; |
---|
| 149 | netIntVectorShort(V,4); |
---|
| 150 | kill a,b,c,d,V; |
---|
| 151 | |
---|
| 152 | |
---|
| 153 | ring r1=101,(x,y,z),lp; |
---|
| 154 | poly a=2x3y4+300xy-234z23; |
---|
| 155 | poly b=2x3y4z; |
---|
| 156 | poly c=x3y4z5; |
---|
| 157 | poly d=5x6y7z10; |
---|
| 158 | poly e=2x3y; |
---|
| 159 | poly f=4y5z8; |
---|
| 160 | matrix M[2][3]=a,b,c,d,e,f; |
---|
| 161 | print(M); |
---|
| 162 | netmatrix(M); |
---|
| 163 | kill r1; |
---|
| 164 | |
---|
| 165 | ring r1=101,(x,y,z),lp; |
---|
| 166 | poly a=2x3y4+300xy-234z23+z25+z26+z27+z28+z29+z30+z^30000+z^30001+z^30002+z^30003; |
---|
| 167 | poly b=2x3y4z; |
---|
| 168 | poly c=x3y4z5; |
---|
| 169 | poly d=5x6y7z10; |
---|
| 170 | poly e=2x3y-2x3y4+300xy-234z23; |
---|
| 171 | poly f=4y5z8; |
---|
| 172 | matrix M[2][3]=a,b,c,d,e,f; |
---|
| 173 | netmatrixShort(M, 10); |
---|
| 174 | kill r1; |
---|
| 175 | |
---|
| 176 | setring r; |
---|
| 177 | |
---|
| 178 | int j=5; |
---|
| 179 | netInt(j); |
---|
| 180 | |
---|
| 181 | |
---|
| 182 | bigint M=5; |
---|
| 183 | netBigInt(M); |
---|
| 184 | kill M; |
---|
| 185 | |
---|
| 186 | string M="Hallo"; |
---|
| 187 | netString(M); |
---|
| 188 | kill M; |
---|
| 189 | |
---|
| 190 | |
---|
| 191 | |
---|
| 192 | ring r1=101,(x,y,z),lp; |
---|
| 193 | poly a=2x3y4; |
---|
| 194 | poly b=2x3y4z; |
---|
| 195 | poly c=x3y4z5; |
---|
| 196 | poly d=5x6y7z10; |
---|
| 197 | poly e=2x3y; |
---|
| 198 | poly f=4y5z8; |
---|
| 199 | vector V=[a,b,c,d,e,f]; |
---|
| 200 | netvector(V); |
---|
| 201 | kill r1; |
---|
| 202 | |
---|
| 203 | |
---|
| 204 | ring r1=101,(x,y,z),lp; |
---|
| 205 | poly a=2x3y4; |
---|
| 206 | poly b=2x3y4z-5x6y7z10; |
---|
| 207 | poly c=x3y4z5; |
---|
| 208 | poly d=5x6y7z10; |
---|
| 209 | poly e=2x3y; |
---|
| 210 | poly f=4y5z8+5x6y7z10; |
---|
| 211 | vector V=[a,b,c,d,e,f]; |
---|
| 212 | netvectorShort(V); |
---|
| 213 | kill r1; |
---|
| 214 | |
---|
| 215 | |
---|
| 216 | |
---|
| 217 | ring r=32003,(x,y,z),lp; |
---|
| 218 | poly p=x4+4y4+4z4-x3-3y3-3z3+1x2+2y2+z2-x-1y-z1; |
---|
| 219 | p; |
---|
| 220 | netPoly(p); |
---|
| 221 | kill p; |
---|
| 222 | |
---|
| 223 | poly p2=x3yz+xy3z+xyz3-2x2yz-2xy2z-2xyz2+1xyz+x1yzxy1z; |
---|
| 224 | p2; |
---|
| 225 | netPoly(p2); |
---|
| 226 | |
---|
| 227 | poly p=x+y+z-x2-3y-4z4+xy+xz+2xy-x2y-xz2-y2z2; |
---|
| 228 | p; |
---|
| 229 | netPoly(p); |
---|
| 230 | kill r; |
---|
| 231 | |
---|
| 232 | |
---|
| 233 | ring r=32003,(x(1..10)),lp; |
---|
| 234 | poly p=x(1)*x(2)*x(3)+2*x(1)^2+2*x(1)*x(2); |
---|
| 235 | p; |
---|
| 236 | netPoly(p); |
---|
| 237 | kill p; |
---|
| 238 | |
---|
| 239 | poly p=x(1)^2*x(2)^3*x(3)^4-2*x(1)^1*x(2)^2+2*x(1)*x(2)*x(10); |
---|
| 240 | p; |
---|
| 241 | netPoly(p); |
---|
| 242 | kill r; |
---|
| 243 | |
---|
| 244 | ring r=7,(x,y,z),lp; |
---|
| 245 | poly p=17x2+24y; |
---|
| 246 | p; |
---|
| 247 | netPoly(p); |
---|
| 248 | kill r; |
---|
| 249 | |
---|
| 250 | ring r=(7,a,b,c),(x,y,z),Dp; |
---|
| 251 | poly p=2ax2+by-cz3; |
---|
| 252 | p; |
---|
| 253 | netPoly(p); |
---|
| 254 | kill r; |
---|
| 255 | |
---|
| 256 | ring r=(7,a),(x,y,z),dp; |
---|
| 257 | minpoly = a^2+a+3; |
---|
| 258 | poly p=2ax2+y-az3; |
---|
| 259 | p; |
---|
| 260 | netPoly(p); |
---|
| 261 | kill r; |
---|
| 262 | |
---|
| 263 | ring r = (complex,30,j),(x,y,z),dp; |
---|
| 264 | poly p=2x2+y-z3+20*j; |
---|
| 265 | p; |
---|
| 266 | netPoly(p); |
---|
| 267 | kill r; |
---|
| 268 | |
---|
| 269 | |
---|
| 270 | |
---|
| 271 | ring r; |
---|
| 272 | ideal I=2x3y4,2x3y4z+x3y4z5,5x6y7z10-2x3y+4y5z8; |
---|
| 273 | netIdeal(I); |
---|
| 274 | |
---|
| 275 | tst_status(1);$ |
---|
| 276 | |
---|
| 277 | |
---|