Changeset 78a42b1 in git


Ignore:
Timestamp:
Jun 15, 2010, 4:02:25 PM (14 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
fe6d6194c0820a93d76515c38fcaf68c262e68d0
Parents:
e4eee00527d071983f09fc3707f381948721fafb
Message:
cleanup for examples

git-svn-id: file:///usr/local/Singular/svn/trunk@12863 2c84dea3-7e68-4137-9b89-c4e89433aadc
Files:
4 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/modstd.lib

    re4eee00 r78a42b1  
    408408////////////////////////////////////////////////////////////////////////////////
    409409
    410 proc liftstd1(ideal I)
     410static proc liftstd1(ideal I)
    411411{
    412412   def R = basering;
    … …  
    453453   else
    454454   {
    455       "==========================================================";
    456       "WARNING: Algorithm is not applicable if ordering is mixed.";
    457       "==========================================================";
     455      //"==========================================================";
     456      //"WARNING: Algorithm is not applicable if ordering is mixed.";
     457      //"==========================================================";
    458458      for(i = 1; i <= size(sM)-size(I); i++)
    459459      {
    … …  
    478478
    479479
    480    ring S = 32003, x(1..6), lp;
    481    ideal I = cyclic(6);
     480   ring S = 32003, x(1..5), lp;
     481   ideal I = cyclic(5);
    482482   ideal sI;
    483483   matrix T;

  • Tst/Short/modstd.res.gz.uu

    re4eee00 r78a42b1  
    11begin 640 modstd.res.gz
    2 M'XL("'-F%TP``VUO9'-T9"YR97,`[5I;;^.X%7[WKQ`&?;!#*A))49+7B(%9
    3 M[*)5X`X&DQ0M,$@6CJUDU/H2V$HK^=?WD!1OLB>9VTNGR4-,GAO/]_'P9OCJ
    4 M^K?B71`$9!K,BE^#-_6^/E]5=V\F@ZM.0Z<!"/^H-E4]'$T&XC.83H/U=KFO
    5 ME^>;\C_G^WI>&W,V#4P[.1=!WW2F?ECNV*7G0=G,UX^K,GB\+O?UU:^3010%
    6 MC[OM0@N"^]UV'4"(P$8;_/Z/MW]]/_O]EP'$J#;UO\M%,`LN`HH9YA,AW%6;
    7 MAV`'HA@/&]SBPP@O'Z6F6I;S55"`JD$$-ZA%Q)%?=O)6RKH4A@4N\`Q3("'V
    8 MQ9>=F`P,I&QJ(>VJ]:S:UY.!9'BQ:Q_K;<?&"N3![$*;#$D<0YQ]=2B',VA0
    9 M/IA]['HWD\$XLP/D=@!@Y*I>6LI4_T7&CLC!]0EZ6,-00X&+@)"6HY8AB@-^
    10 M2-"!HJ1'F1IX6$#F%]__-_C[VP_OBG=__B4HY`@/Y:;<S>MR&=RUP?:I?GRJ
    11 M@_6\#>[*X&%7@F(7U)_F&Z@$H9%9G?^0/`#CY61P^9'<7``9)&*"CXB!A-Y<
    12 M`!,DXH*,B(.$W5P`2R0"LH`I^!#>@L=/V_7V`6JE'DG2_K_HJL5'W6.LEIS5
    13 M28\U$`O>:CXP1;KW5_"^5Z+_G"^V=\,&BC-%APPU[6'D%B9QJ,8$D^^BV[+\
    14 M=O6PW57UIW50[8/-M@[FCX^K:C&_@Q59W0?;W;*4R8-V737E\GO(?4WX->'7
    15 MA%\3?DWX->&O&U4<QG"SO23R.&Y1=DA%!X[AYH#2EHN..'T/B#>)Z"2@X6$:
    16 M\58:<M"E81:EATQT4SB^<\3B*&L2<+:'+'4/6?83WF@HD$A=$JE+(G5)I!V)
    17 M&=QR,M'U2*2*1!%4WNQWY?)I40XO";ZD(_VV\#047Q*EL==V=6]OAN3\/!GA
    18 M5?_6OF@74%+#Y/,7(?KSS=&I4J3ROO=-7.N7UMA_:?GOK!=?6>J%)QY2F&,"
    19 MUT^&24XPHW',3K]1GW^&V5>8]P@[\<3PWV4@GW5/CQ]S.>_H(;%'SU_*S;Y<
    20 M]9^C1OKUC])OX,(#;H:6[RP'OHZB<.L`"J\);&$2"W-9KLJZ_-MF];3X5_L>
    21 MGN[EWJ(]H?SR&I'?7.`,@!V51HN;$?[-HT*L9]I2H"EUQ:+^VX;BEC6XX3TE
    22 M$TIP:5A[K$PZ)2%*[>IXIVL;)ARSSE.F?@VZ@N""XH+A(L&%\CQ!Q?`:S^2*
    23 MA!F0T/4G_/TA9@6&,%V8%AC-=)G85$TO$7NJC$"_/0*@&&A_)Q/>BPNO>/"5
    24 M/7<(-[X3W$36]+P'>AZWJW8(,Z@^J6XPW4AT@X^>YPZ__Q]FS[%2@1TSB`U!
    25 MOYIDLT"I7:#5OM@L5D_+TMF%K.P+]Z"+[_K.T`XGOA^4WPWZTDM<Z`/(M\6)
    26 M^B91)_)!KO]`'O5\A(/ET1YPZK"7NP"LR6;(1[?T*"6Y6!/OG"/,$KBJ[FM@
    27 MAECZM.3+R/MP:@,7]1W<"Y88:C.QVS;MP4FY,E_EW"LDZWF]JYK@VK'9K\&H
    28 MRV58X>ON;%]/!OMU=SFC!]&F8H.GJ)4=>3>C<&U-<C*F!R9D4#XLIDESH"'H
    29 MA$3<TN@A3!OIDPK].",\)SRE>0[G`XU)JIPS67L(+`4N@%P/12HQ+,_KCW"X
    30 MWV"0BU9R`Q2H9GJ#8PPF,0Y9@\38!PP[M"C]6)I084+P@(#)]4=FHC`1!7RD
    31 M4$0)+#G#_7H4A+I3C<Z`+%@]&*B(98/J!M.-1#>X;J2ZD8F&K;PK<=:*>TI7
    32 M?2E4W^=NFJE;?/OB>/[V!;ZV<T?T::QA%`Z,XD?`$(U<-\:Z06+3,K&)"4Y,
    33 M=&+"$Q.?F`&((DHOG&3JGM3^2M4V?'K,F=CJM3Z=N@OW)_UF6(/-I@!S,BC4
    34 M>VI(1J@94O&/B7^)^,='0BU>6*"YI=+@3.A"825;B)YU4JY\=4OL>,);'!8@
    35 MOF7:NW,,C6,"EC:@;"?"GDGC6RHCNN96P%P!Z_Q5!LSF!9FS,Y,;#$"M%^B4
    36 MPRT3V28*:S=RZ*>,3#X=`WHL/S/DYX6<K$(G)PN`*VY-1J'-AXM\P!T>!,F9
    37 MGXT*GIXY277$9"ZSRLPA2Z="N.HR+S.;4.;2#TF1N#<#(!OWT@$1\Z9!T&L2
    38 MYW)6W:E@H825&"WMW!(!/E6ETZ5I*\";]3Y\Q(_1)\\B[2;"R?@(J"3#`15Z
    39 MF,+,A83<ZF+24@/*3'5)0/PD("<;#<FEWM:</Y^R$BQ(]C*F_@("$>E-7IA[
    40 M.(DW=\B;.FFJ@>;=HJ==./0YH"^7J0OJ&,31+F!6MX7N[@3,#L%U326>3D,8
    41 M.SO!,RC0T?)[<:;"9XOQ)$(7C@O&A>("L3#$67LB;3'7T7&ER?!^MF+E1_[2
    42 MZX;S\F2ACG=":(,QY`3C<E^+W!E)'!A:!TTN`DDXQ,"18NO)0W-\24/J;AYF
    43 M=!HQ=YF(]1FQ/KBD$]KU(U(Q9B:_D$>L#SE!/N`DI"R26ZU-E$3<\>`PFC2`
    44 M=BIG-\RT!]*F*(^4B<3&W'W$8;:'S4V:C7PD#K;P%+:.*1];Z`@[)-U8J6)?
    45 MZT.3:N),0^>%^D7!Y4ZBHZ9&K_M,ET%FKPE.986.=^CYAL93%0]WMB4Y+O/&
    46 M=<80!YD3U8F1=B<R,WSJ.;)AQQ'W`E-OP@4@K@$Y*\OL_.YF[=RT$C-.2!-W
    47 MA-"+CS(=724L#QWHY2CIGZ"($G<+"$GJ'9[*P=[+N+XQA%G:JRNELS<BTJ\H
    48 M.#M(KYY".;K=)TENHJKSB=CX8I9[MS8R/K/W))*K:=&T$GMDZH)Q,P3HW#M^
    49 M4!J[4!$;=U`1'?>ATM2%&K+D"&K<WPD1H;&'-?6NIZ%2V[L7B<<N6#6DP3HV
    50 M:TIA3?M0<P]IRERDRMPBU9-P`JE7'F*.>T`1C_LX<Q=EF!$/Y=C'F'H0\\2!
    51 M2.-NE5&SA/(>2'4AMK5+B8_2+UU"=>D2TD?I;8=HW`=)LA[(D'ES:6E1=>FA
    52 H#&GN52W)-4K]#,OM3_#(^%S^RD_\E.]I#R^RR9\&_P71H%LO&R@`````
     2M'XL("+B'%TP``VUO9'-T9"YR97,`Y5G?CQHW$'[GKUA%?8"SE\6_=J'HD%JU
     3M:D$TBI)4K53EJ@ML4UH.3K#7[O+7=VRO[?%"[I*V+TWOX=B=L6?F^V8\8\2K
     4MUU_-GR=)PF;)<OYE\JPZ5L/MYNVS:>]5J^&S!(0_;W:;JC^8]O1G,ILE=_OU
     5ML5H/=^6?PV-U6_GE8I;X9SG41I^U2V.S"JW+ATE9W][=;\OD_G5YK%Y].>UE
     6M67)_V*^<(/GEL+]+P$02K/6^_O&+[UXLO_Z\!S8VN^J/<I4LD^N$4T'55`L/
     7MF]V[Y`"B$>W7M*&G`5W?&\UF7=YNDSFH:L)H31K"D'S1RALC:T/HS^F<+BD'
     8M$D:Q>-&*6<]#*F8!TF%SM]P<JVG/,+PZ-/?5OF5C"_)D>>V6]-EH!':.FU/9
     9M7\(#5[WE3^W;FVEO4@0'X^``&'E5K0-E]OU)QL[(H=4%>D0M2,V!BX2Q1I%&
     10M$$X3=9+DQ(GL4&8=]^<0^?4__^O]\,7+Y_/GWWR>S(V'=^6N/-Q6Y3IYVR3[
     11MA^K^H4KN;IOD;9F\.Y2@."35K[<[J`2M,5$-_Y4X`.-BVEO\Q-Y<`QDL$YJ/
     12M3("$O[D&)EBF-!F9`HEX<PTLL0S(`J;@0^_6//ZZO]N_@UJI!H:T_Q==E?ZH
     13M.HQ5AK-*=E@#L>:M4CU?I,?X!!\[)?K;[6K_ME]#<>;D5)"Z.0UP83)$-664
     14MM0F`\[Y@)LB&%*=<OT!P]8GDC=(O.J834;74+Q(T*LTSU9B%"G1Y6F3YJ="O
     15M.8`:$S'*BEK"YN":8]?B$\PS!Q(Y)I%C$CDFD;<D%I#[0K]&)')+HC9J^MVA
     16M7#^LROZ"T04?N(X;:3A=,*L)S<QVL[K/AD,YH-MN+ULUJ^UFU9?O+P_^Z>7H
     17M4BER=PH^GFLW?R;Q_(FGSY.SQ\X]/5ZHH@P.I:!LS*C@HY&X/+D?'TYA-D6C
     18MZ4+CC:<5R)=M/_AW6E9+#QM%]'Q;[H[EMCNDO?3C1_7?X"("[EV;Z8/@.RL6
     19MMS-@\7K#`28+,-?EMJS*[W?;A]7OS0NXT)3'@/:"\L-KQ-SG:`'`SDJCH?6`
     20M?A51H<\S;SC0E&.QKO^FYK01-:U51RFT$K;4HCE7RE;)F%5CG6IU32WTQJ+=
     21M:4)_#;HYHW-.YX+.)9W;G1>HZ+^&"Z0^D9`!`]U]PM_/.BO@PK]"6L";?Q6Z
     22MJ?HWJ7NJL<#_O@5`T7/[422J8Q?N-K#7O&$7V#XR[BT[>EX`/??[;=.'#-I/
     23M[AZ$>Y#N00T>YXZ^^`^SAU99PV@9V`:C'TVR/Z`\'-#-<;Y;;1_6)>I"0?:!
     24M/>CZ'WV3"N[TMR;SC2F6+NC<#:!X+97V^Y4+Y*4Y_XD9]6I`D_59#[@T[$T7
     25M@#-9]]7@AI^%9`ZKC.8<@^^SJ.'$#MT:.3N_9.B*=7HUP_X_T6N_`YO/`.:T
     26M-[?7PCX;D+K/]3^A_TG]3PVT6E\407/#S8(KK4OU*O-$^%4K57:O>]*)T[MU
     27MS8/X1KC=[<;4;Y2P,A@TSU*O%V;Q#3<6\?(@$%@@VOTV`A'B@LC%E8\-'/"P
     28M"W1VPXW0T4J+M?6<QB$3'T_+@/,51T;BN`B**D4Q!0#*<NLC2D,\2L<#V^%>
     29M(Z_B:*SQ_`H%U1)38&;M,D26"X4I^RJBR$)`!:8?@F*C3@9`-NF$`R(1I4'3
     30MZP-7)JLX%2(UL*37\G:;U.!S6SIMF*$"HJQWX1-UCEX^BK1-!(KX#*@A`X%*
     31M(TQI@2$17%W"K'2`"E]=!I"Z"`A%XR!AZD/-Q?DTE1!`BJ<Q=0\0B%@G>>DX
     32MPLFBW)$H=6:I`SIN#SUOS9'W`7VZ3#&H<Q!G7<"?[@`==P(17"A74S+2.0@3
     33MU`D>04'.CM^3F4H?+<:+"#$<#`9#P4`"##;JXO"YSLXKS9B/H]4G/XN/7NLN
     34MBE.DSMX%83`F"#*F3%_+<$8D@N%T\*BT(0.'>3A&'':JU(\OLY#CYN&]\TS@
     35M8Z+/9R:ZX&0K#.='A^*7^?A2E8DN9$EBP#+E(C.M-@0*7U'1#@7>S`)XSDUV
     36MT\+M(&XI&6=VB<$F<!]!S':PX:#%($:"L*67L+5,Q=A2)&R1M+YRR[[3ISY4
     37MB=+0[B+=HE"FDSBKN=>[=^'*H`C7!%19*=J=1GM3O],6CT)MR?@5D5_D0P\R
     38M9!79R-N)+#R?+D?!["13D6$>)5P#4@X0.EF^\^-FC6Y:TOM)N<0>TL@^*9QU
     39M&[`9.O`V)K([00EGN`6D+(^&I]T0[F7*W1C2(N_4E=6%&Q'K5A3,#M:II]1X
     40M#WV2C;U5.Y]8L*^SW+FUL<E5N">QL4V+HY6%D>D*!D<(T%4T?D@^PE")F+10
     41M"9]TH?(<0TV%/(,ZZG9"PO@HPII'U]/4JL/=BXTF&*QUZ;%._)FR6/,NU'&$
     42M-!<8J5T>D+HD7$`:E8?.<0<H4:,NSC%&F18L0CF),>81Q+%$$/FH/67<'Z%Q
     43M!Z2]$(?:Y2Q&&9<NXZYT&>NBC-HAF71!LJ(#,A51+@,MMBXCE"D?1U7+Q@ZE
     44?^QI6A-]7V7AH?L+5O],^'.$;V?2SWE\5NZZL^!T`````
    5345`
    5446end

  • Tst/Short/modstd.stat

    re4eee00 r78a42b1  
    1 1 >> tst_memory_0 :: 1276601971:3111-2010061014:3-1-1:ix86-Linux:nepomuck:394640
    2 1 >> tst_memory_1 :: 1276601971:3111-2010061014:3-1-1:ix86-Linux:nepomuck:1409024
    3 1 >> tst_memory_2 :: 1276601971:3111-2010061014:3-1-1:ix86-Linux:nepomuck:94762520
    4 1 >> tst_timer_1 :: 1276601971:3111-2010061014:3-1-1:ix86-Linux:nepomuck:33530
     11 >> tst_memory_0 :: 1276610488:3111-2010061014:3-1-1:ix86-Linux:nepomuck:391752
     21 >> tst_memory_1 :: 1276610488:3111-2010061014:3-1-1:ix86-Linux:nepomuck:1282048
     31 >> tst_memory_2 :: 1276610488:3111-2010061014:3-1-1:ix86-Linux:nepomuck:1439260
     41 >> tst_timer_1 :: 1276610488:3111-2010061014:3-1-1:ix86-Linux:nepomuck:61

  • Tst/Short/modstd.tst

    re4eee00 r78a42b1  
    1111example deleteUnluckyPrimes;
    1212example isIncluded;
    13 example liftstd1;
    1413ring r = 0, x(1..5), dp;
    1514ideal I = cyclic(5);
Note: See TracChangeset for help on using the changeset viewer.