Changeset bf75121 in git

Timestamp:

Apr 29, 2015, 6:38:52 PM (8 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

abc5f14430fc46985a74afdd4a426157fa69263e

Parents:

e5e219020eee81e7dc5562da6a0aa0a4a1e2b3e3

Message:

Changes in documentation and in grtwists

Files:

• Singular/LIB/gradedModules.lib (modified) (5 diffs)
• Tst/New/grmodexamples.res.gz.uu (modified) (2 diffs)
• Tst/New/grmodexamples.stat (modified) (1 diff)

Singular/LIB/gradedModules.lib

@@ -26 +26 @@
     grdeg(M)        compute graded degrees of columns of the map M
     grview(M)       view the graded structure of map M
-    grshift(M,d)    shift graded module coker(M) by d
+    grshift(M,d)    shift graded module coker(M) by +d
     grzero()        presentation of S(0)^1
-    grtwist(r,d)    presentation of S(-d)^r
-    grtwists(v)     presentation of S(-v[1])+...+S(-v[size(v)])
+    grtwist(r,d)    presentation of S(d)^r
+    grtwists(v)     presentation of S(v[1])+...+S(v[size(v)])
     grsum(M,N)      direct sum of two graded modules coker(M) + coker(N)
     grpower(M,p)    direct p-th power of graded module coker(M)
@@ -865 +865 @@
 "USAGE:  grshift(A, d), graded objects A, int d
 RETURN:  shifted graded object
-PURPOSE: shift the grading on A by d: A_i -> A_{i+/-d}?
+PURPOSE: shift the grading on A by d: A(i) -> A(i+d)
 EXAMPLE: example grshift; shows an example
 "
@@ -1140 +1140 @@
   int l = size(v);
   module Z; Z[l] = [0];
-  Z = grobj(Z, v, v); // will set the rank as well
+  Z = grobj(Z, -v, -v); // will set the rank as well
   return(Z);
 }
@@ -1170 +1170 @@
 
   // zero syzygy?
-  return( grtwists(v) ); // ???
+  return( grtwists(-v) ); // ???
 }
 example
@@ -1249 +1249 @@
   for ( i = 1; i <= l; i++ )
   {
-    if( size(r[i]) == 0 ){ r[i] = grtwists(v); i++; break;   }
+    if( size(r[i]) == 0 ){ r[i] = grtwists(-v); i++; break;   }
 
     r[i] = grobj(r[i], v); v = grdeg(r[i]);

Tst/New/grmodexamples.res.gz.uu

@@ -1 +1 @@
 begin 644 grmodexamples.res.gz
-M'XL(")K_0%4``V=R;6]D97AA;7!L97,N<F5S`.R<:V\;1Y:&O^M7U!A8A`+9
+M'XL("!0)054``V=R;6]D97AA;7!L97,N<F5S`.R<:V\;1Y:&O^M7U!A8A`+9
 M8M>MJTM:&['C9!`@R0[L?%@@F`R4B'&THQLHDB8YV?^^[WNJF]TDFQ*ER+G,
 M6A*EOE175YTZ=>HYIX[]]MO77WZCE-(OU%=?OE+/)K>3HXOS'YZ=*!S]X_SJ
@@ -1420 +1420 @@
 MDT3F,G#EY9?G1<.2Z>0E_Y@RL>36$>00Q/B*X0IFD@ONI_F2=">,)&34Y&]D
 MRC[Z?=(C_X'C54*T]!(N/TR8T6+O?6:NP#K]KV,ZZX1-Y:;F.AQ_@>Z=6\3/
-M#.R?T=Y"9$WKG.6>U>,D6UGN@]BRLP>!)]JF5[WDX\=\,2LAO1ZI=H%C#81<
-M;)8P%+<7T(C^*,-B8"+&46(BQM'0045EQUO`Z)3Y_7E7[T3./@?'8$.Y;\40
-MBGLH@_]=-4Z"8006*H.KN+7(F(Z`R9.ZT5,5?-5==K+X=&YJ9B[HE\WIN%LM
-M=7<W&=_#FFE+LU)E4J0>I$9_(8?#,B4!L5T1W[K?4NN^R-VC)S@5Y@-K1RIZ
-MPFEY!FWGM@W`U=RS42,;K<?\0"#[6X!,*D$FVX+L2Y!U>0,+Y%\-2^.;8GX]
-MK$A9IW"(B50QGG.,YGR-V8*65NYN6),W(\AH-'@8PH0X2*?83Q4?ZM&1@R,]
-M`;DQW&6D-LAUZ*(<J%S>T!T=Y516'!,I+:&RZK5K"OF^$9;X2(U5158T'B<T
-MQKZ<3/-,$69GG821T&1_K/L48DE^WK>(*,H/@4Z8M?;M7E`?/"C%^EC;%/ZZ
-M'XE4E0X/5@5>'OEK^N1#-58_IT_L"-I?Y_TXIYR;&,XR*(3YR%ZO0/--3%XO
-MW.$^$QX#,7)8,NUT!7VW$1_]R)$T/&(F88%?NV;_.WS]5XX<72(YNM)R1'@P
-MS^VE1ILCJ?$/*3::T<VM$O^MK-=3P<XJ-K3.?:BRN7YBC`7<D_>AZ!=E;<K:
-M:\JV^(R97#[3`(]G=^1V_/'?$'U<+-,LG:W&(AYAX'YE3.,5,HVOM,)Z)7&N
-M[NP[">'IL-R&$)ZUU;(858OV&T)XN;<&>1=AZ=R##]9@NJ##!@WTB!\Q3=$)
-M10P[4#)@93[?IS,V`WB%1N"U'H&:+.<?C+%1K/2-#/2G#+;7"+8W&K8WWTUP
-M^7EQIIH4C^QE!N!0*X6*M7^,J3"7S7<])ZAQ8WRZ&['T\VDR2R%P].XX9]MZ
-MSA9Z@4JH#TUF?:B^L*^D<^CEJ4[92OEQ9G7(F96]``;R=BXBNQ4S*"9M_UQD
-MY$67_'1&SH_645A'I+R=/,*%LTB\V.\J\3-0WA5Z^ZBJ#ZNJG3BG\-=NB!/D
-ME.-Q?5C6",P)5WPYVI8?Q;94&):C)5$!!"L:)<3V`HOMI<&M.I'V.-%J,-&*
->K<3;.#PAJVSU9[8:KQZR;MA[^4OG_]?!GGP38@,`
+M#.R?T=Y"9$WKG.6>U>,D6UGN@]BRLP>!)]JF5[WDX\=\,2LAO1ZI<8%C<;D2
+MF$2AX&XN8!']48;$P,2+H\3$BZ.A@XG*C;=@T0GS^_.MWHF,?0Z-089RSXKA
+M$_=0_OZ[&I0$OW`L5/Y6<6N1+1WQDB=UHR<J^*J[[&3QZ=Q4GP[Z7=^<CKO5
+M4G9WD_$]K)BV-"I5!D4FH%&CO9"[81F2@#B.B'6WI=9\D;M'3V\JC`?2C3Z5
+M/:G[[JW@E'/3!N!J[MBHDXRV8WX@D,D6(/N5(/O;@DPDR#CST8#\JV%I?$O,
+MKX<5*>L4#C&-*D9SCK&<KS%7T-+*G0UKZF8$&8T&#T*8``?I%/NIXD,].G)P
+MI!\@-X:[C-0&Y1FZ*`<JDS=T1T>YE!7'1$H5JYQZ[9A"MF^$)3Y28U61$XW'
+M"8VQ+Z?2/$^$V5DG720TN1_K/H5(DI_W+2**LD.@$V:M?;L7U`</2;$^UC:%
+MO^Y'(E&EPT-5@9='_IH^^5"+U<_I$SN"]M=Y/\XIYR:&LPP)83ZR5RO0;!.3
+MUPMWN,]TQT",')9,.UE!WVO$1S]R)`V/F$E7X->NV?\.7_^5(T>72(ZNM!P1
+M'LIS>ZGQ2)#4^(<4&\WHYD:)_U96ZZE@9Q496N<^U-A</S'&`N[)^U#RB[(V
+M9>TU95M\QDPNGVF`Q[,[<CO^^&^(/2Z6:9;.5F,1C3!POS*F\0J9QE=:8;V2
+M.%=W]IT$\'10;D,`S]IJ68RJ)?L-`;S<6X.\BZ!T[L$':S!=T&&#!GK$CYBF
+MZ(0B@ATH&;#RGN_3&9L!O$(C\%J/0$V.\P_&V"A2^D:&^5,&VVL$VQL-VYOO
+M)K3\O#A338I']B(#<*B50,7:/\94F,OFNYX3TK@Q/MV-6/CY-)FE$#9Z=YRS
+M;3UG"[U`I=.')J\^5%_85](Y].)4IVR=_#BS.N3,RE[^`GD[%W'=BAD4D[9_
+M+C+RHDM^.B/G1^LHK"-2WDX6X<)9(E[L=XWX&2CO"KU]5-6'5=5.G%/X:S?$
+M"7+*\;@^+&L$YH0KOAQMRX]B6RH,R]&2J`""%8T28GN!Q?;2X%:=1GN<:#68
+@:,56VFT<GI!5MOHS6XU7#UDW[+W\I?-_6%I!OA%B`P``
 `
 end

Tst/New/grmodexamples.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1430323098:4020, 64 bit:4.0.2:x86_64-Linux:dilbert:1531200
-1 >> tst_memory_1 :: 1430323098:4020, 64 bit:4.0.2:x86_64-Linux:dilbert:5271552
-1 >> tst_memory_2 :: 1430323098:4020, 64 bit:4.0.2:x86_64-Linux:dilbert:5271552
-1 >> tst_timer_1 :: 1430323098:4020, 64 bit:4.0.2:x86_64-Linux:dilbert:138
+1 >> tst_memory_0 :: 1430325524:4020, 64 bit:4.0.2:x86_64-Linux:dilbert:1531200
+1 >> tst_memory_1 :: 1430325524:4020, 64 bit:4.0.2:x86_64-Linux:dilbert:5271552
+1 >> tst_memory_2 :: 1430325524:4020, 64 bit:4.0.2:x86_64-Linux:dilbert:5271552
+1 >> tst_timer_1 :: 1430325524:4020, 64 bit:4.0.2:x86_64-Linux:dilbert:135