Changeset 649af0 in git


Ignore:
Timestamp:
Oct 14, 1998, 12:16:27 PM (26 years ago)
Author:
Kai Krüger <krueger@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c7af8613769b29c741d6c338945669719f1fc4f8')
Children:
bba1c4693965775b38677bdcdf5a0e505b367031
Parents:
538364d25bafbb1d4fe63579997555b4c1993e90
Message:
Added system(with,Namespaces) before kill to check which rings to kill


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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/ring.lib

    r538364 r649af0  
    1 // $Id: ring.lib,v 1.6 1998-05-05 11:55:37 krueger Exp $
     1// $Id: ring.lib,v 1.7 1998-10-14 10:15:38 krueger Exp $
    22//(GMG, last modified 03.11.95)
    33///////////////////////////////////////////////////////////////////////////////
    44
    5 version="$Id: ring.lib,v 1.6 1998-05-05 11:55:37 krueger Exp $";
     5version="$Id: ring.lib,v 1.7 1998-10-14 10:15:38 krueger Exp $";
    66info="
    77LIBRARY:  ring.lib      PROCEDURES FOR MANIPULATING RINGS AND MAPS
     
    6868   changechar("R1","32003",R); R1;
    6969   kill R,R1;
     70   if(system("with","Namespaces")) {
     71      kill Ring::R,Ring::R1;
     72   }
    7073}
    7174///////////////////////////////////////////////////////////////////////////////
     
    115118   changeord("Q'","lp",Q); Q';
    116119   kill R,Q,Q';
     120   if(system("with","Namespaces")) {
     121      kill Ring::R,Ring::Q';
     122   }
    117123}
    118124///////////////////////////////////////////////////////////////////////////////
     
    173179   changevar("Q'","a,b,c,d",Q); Q';
    174180   kill R,Q,Q';
     181   if(system("with","Namespaces")) {
     182      kill Ring::R,Ring::Q';
     183   }
    175184}
    176185///////////////////////////////////////////////////////////////////////////////
     
    207216   defring("R","2,A",10,"x(","dp(3),ws(1,2,3),ds"); R;
    208217   kill r,R;
     218   if(system("with","Namespaces")) {
     219      kill Ring::r,Ring::R;
     220   }
    209221}
    210222///////////////////////////////////////////////////////////////////////////////
     
    240252   defrings(30); S30;
    241253   kill S5, S30;
     254   if(system("with","Namespaces")) {
     255      kill Ring::S5,Ring::S30;
     256   }
    242257}
    243258///////////////////////////////////////////////////////////////////////////////
     
    274289   defringp(30); P30;
    275290   kill P5, P30;
     291   if(system("with","Namespaces")) {
     292      kill Ring::P5,Ring::P30;
     293   }
    276294}
    277295///////////////////////////////////////////////////////////////////////////////
     
    428446   show(R4);
    429447   kill r,R1,R2,R3,R4;
     448   if(system("with","Namespaces")) {
     449      kill Ring::R1,Ring::R2,Ring::R3,Ring::R4;
     450   }
    430451}
    431452///////////////////////////////////////////////////////////////////////////////
     
    646667   ring t=0,x(1..5),(c,ls);
    647668   ringtensor("R",r,s,t);
    648    type R;"";
     669   if(system("with","Namespaces")) {
     670      type Ring::R;"";
     671   } else {
     672      type R;
     673   }
    649674   setring s;
    650675   ideal i = a2+b3+c5;
     
    654679   qring qT=std(d2+e2-f3);       //create qring of T mod d2+e2-f3
    655680   ringtensor("Q",s,qS,t,qT);
    656    type Q;
     681   if(system("with","Namespaces")) {
     682      type Ring::Q;"";
     683   } else {
     684      type Q;
     685   }
    657686   kill R,Q,S,T;
    658 }
    659 ///////////////////////////////////////////////////////////////////////////////
     687   if(system("with","Namespaces")) {
     688      kill Ring::R,Ring::Q,Ring::S,Ring::T;
     689   }
     690}
     691///////////////////////////////////////////////////////////////////////////////
  • Tst/Old/ringlib.res.gz.uu

    r538364 r649af0  
    1 begin 644 ringlib.res.gz
    2 M'XL("+.WJ34``W)I;F=L:6(N<F5S`-U:48_B.!)^YU?XHI,V.0Q-')C=I052
    3 M[\S<W:QV3MW`PTFCGE9(0I.9D*3C$`*__LKEA"00"-W3K5MM'@*47>6J\E?E
    4 MLLUT]N'3?P@A^IC\\>DWHD2N_]CUW+ERW9IF36Q,G-1<A9Y#K*7I/SKPCJY;
    5 M5U<DC`*K1".+*%@18":YE-;'_]Y\OOWCX[`%<@211*,>55.ZI6N::%2U0Y5I
    6 MU.;:M>A1B%*5B4(51F\4[9I,KA4%Q\,>D6G%3N3RV+7(D#!)UTD(#2L'6N`7
    7 MT&^(;%BY?AAX6Y(]0]*3='^]FD/?8$$2,^)`[TLZ/G,OL+ZCU"$)(MM!S>VP
    8 MU*-XAL2'<;GXFI(MJ9'"*E)XDY0U2>JD&&4I[UM'[M+!7P;K]0R%3H3/]%,>
    9 MPTY_#2<`Y;OK>61"A;E[P!J'@`660[P"Z97@"I(D6C?02`UH#B5HR6G4OAB$
    10 MF^?ZO]QGX[B/RYB+R3":YZAQI,N!ZMJ.Z1&7C$CZE='M5]99?S5H@DY\PGYW
    11 MT,9C6W6//'OW$[C6"Q5Z!TZ]^^G5/>I=Y-$3MK*JK=#A:1W$KN/'$CZ(,+2^
    12 M]?!%OQ\E\,'N1RF#3^-^M`5'&"44WU%AX!['_4,<)\=Y-WF%M/OLZ>%.+,AJ
    13 M5)ZM),_:-ZKV=@'0#,L;5=?@Q;172$,WJB%D]6MEG<S(Z`G$K4GGU*+VFX&W
    14 MV1LFF;^"'RQB7^"!1OC;$OYF!O\YZUAGX#\HX&\["R&P`']&:(!^UDM5(IB+
    15 MGD('5%F+;,(%/J.7X'/0F$XN6MHV%RV3$E-[(_**B.H]JJ0J_((PAO5FPU6=
    16 MRI6'R\![ZUI)[[U"G2#"-!5AFHH@:_+%IM&OJ0C35!V(USNM<0U$C7$4!'(3
    17 MNIMC)%5_%D/_(EZ_BI?>JS6K7U_#1'12POZ[(^SS(_#SR]#/U0'M`2RF@S<!
    18 M_`6.`:CO+DI$%<!SU4"UC=Y+*EFC&:(7S&@%H@<`JYUO>"./CDPZ<NG(IB.?
    19 MCHPZ<NK(JB,O0UXFQT->AKP,>1GR,N1ER,N0ER&O48\S5H^SZ8!*G^ZQ]O,1
    20 MUL(CK(6782W,L';[1EB[J%9[`=9"B;7;-\/:<]/A7P-KMX"UVPK6?BFPYJ2Q
    21 MX]O59;V@/:NHW8FE3U:FRV`CRM(,?*+;D*@];=]/M;E8,]]KV)ZO>"/`I&"_
    22 MNO(#XOIQXECDT4T<GQ(@H)7<W3F2-BP17$Z$U8F3[2:A=X8++*RA$(I'`]2L
    23 M,$UNUF.H#G$)%TMV_EQ=Q>31"^:F-R2BB73&XA-PH.RMF^C:/KA*]F6E)G7H
    24 MWE+!1\_:6U&**;1/E9DH+"RQB:4ZC:1N5U=[92S:[4(CP+.D$3OI<#H#7,.+
    25 MB9<A7GT-VJQ,+114H]J)N3B:"/RH3L>:._:1:49A&FY]%-K+;(.1,U+N:U:V
    26 MS*BSK,:FLM-Q9R5<7^=T:5G9K*(F,7W[#+2DK9)32E'!03QT+'?A6F;L!K[`
    27 MGED6X9-XF3E+Q">/(R'6]+Q@X]A_TS)E%KF;[0"2D1_$Q`H2R'#0K^)ABM(\
    28 MD\=9X&?N)HL@DJ)$>^2L3-<7\0EAX)ISSP'&8HRER4D<!&1E^EL89Q4&/NP7
    29 M2K*E)*""HA'8\.@'D9S23$(R,D2Y"S.J4^,XMOJR0+X1<\VA.*8?0D1S(N>\
    30 M50JV1!K*H=23%@Y)`OL4HHX@(0ZS8"YT%+\VO"S`AY$E2V)Z:]!8'25?6+?;
    31 MO]?0<_G4EGD*_U0E)VAN[D]2=:54K\!E7SL$Y0W]C;ZG'^A'^D_Z+_IO^HG^
    32 M3DLY3\=]`KI-`X]DP6><R0^D*$QU.F%T8M!)OY3*?RU2^<*)8<'TO"*1YY1S
    33 M:1SZSI8`H5R**['GI(ZUCL$+W/6M0G8!SDT0?1?0-G$HQUY'CI"EBO!9.H)'
    34 M],JPGPO?=]6ZY/<U(#B.MMAA$8AHR*8#0&GS8H&9E!>8L'16\FT$5$9W#&DK
    35 M,X[<E'R&O:W8UN)F3/H>F[]=P^B`7?6S1!^*G@K1F+/W:U=NJ3HIK0B8H59F
    36 M5G]-('3(=$C2SMBD9-L9SRG9=<:8#["44*=:[9A[V5.JZ,6*`[+!(#]VXRT.
    37 M`C`$Z580;DDP_^98(B[EF884?S1.MG.?[F\+]%X!"Q=$5E"1$7X<%+F@_RLF
    38 MZ+H.%8+.VNNTO3N/C?5%X("N.[K=0R2S^S*$I(B0+2)D1\FZ,^XUXB0?X,UA
    39 MHA<P.43):X'DSX"1>H1<DC6$G\.E.YK0E&6YAIS+'MDA[LBB0,\E(%:H6T'+
    40 M2;Q8B!<3\3(_BQ2AV'5)&OS$NJ)>+)-RF13,2LKJ(Z":[3G5#Q36J5(MB^M3
    41 M8":Y+;.@?JSSPU[I!ZGUP^&!]4P19VF:O#03`V4XQJT=8&&"59DE@!0Y?.W%
    42 M9%91=66F:`PLL'D]60F50N=9H=[LA$O+H4)G1;"4;F#%]$.QPX/234!!NVS7
    43 MA'O9TG5`!E%LY25D;<+L8+%HCJ$9]I'=[@"K>(\7;5(#/*:,**>Q;(FWH5-<
    44 MX$Y(S?.E=T_(/X2(%^R]=?8ZAP:77/`T7[Z)@P>K\>A1/W4!5SEQ;#Y)/GEF
    45 MT'SJ6+K%(97\`:6?R=ISHVT-#D-E*D)%Y*?RP@!"R)2HY:B!R1$E/I$)$)/E
    46 MW.0X<G&C]#0E(W&CA(6)RB%'Y5M-*W+,V,FZB96&K`(;%%,AG""WB^C7:H)8
    47 M['P7])$N%0&]3+/9D6:Q$&!WN\N3BLU0+YNU'=99&"53#Q6;H6)YQ\,PN%,@
    48 M")ZFL,]_FI5"X0[CX.YX7O,X>#H3""?/X]_]^+WQ#T+WF8$BS^G^]('2+-HF
    49 M4`J01[*LDS5XYOW8PN@`EFPFK\EV@_;6:*>L<D.&Z\)^83"R?^W$/)9_VH$O
    50 >#SPVX[78\5W_O:63\9@4Q&ZPCEO_`UO6TI_S(P``
     1begin 640 ringlib.res.gz
     2M'XL("!%Z)#8``W)I;F=L:6(N<F5S`-U:47/B.!)^YU?H7%>U]D8A6(;975*D
     3M*CLS=S=;.UL)\'!54YF4L4WPC+$=2X#A_ORV6C:VP<2$)'5;RX,-DKK5W?H^
     4MJ24Q&G_X]`<AQ+PBOW_ZE6B)'SZT`W^B7;9&616[(EYJS^/`(\[,#A\\>":7
     5MK8L+$B>14RHCTR2:$Q`FN9;6Q_]>?[[Y_6._!7ID(4D&':JG=$T7=&E0W8UU
     6M9E"7&Y>R1:%*UX8:U1B]UHQ+,KS4-.P/6R2V([S$Y\)W2)\P56Z2&"KF'M3`
     7M+RB_)JIB[H=Q%*Q)]NF3CBH/%_,)M(VF9&DG',J[JAP_DR!ROJ/6/HD2UT/+
     8MW;C4HOCT20C]<ODU)6M2HX55M/`F+0NRK--BE;6\;^V%RX1X6:S3L30ZE#$S
     9M#T4,&_T]@@`EW_T@($,JW85?_E3G:RZ\N:ZM?#&#D/PA-<:VXW'-,,C_6DJ?
     10MD@(E_3[(JC=HV$+>VH4\=+J+>"AZ)<"#)H7W%512"ZIC!7MR&/<GPWCUW!$L
     11MMUEY_L-,<#F<5O,H-_9T/-1]U[,#XI,!2;\RNO[*SA=?+;K$(#YBNUNHX\+5
     12M_;W(WOX`H0UBC=Y"4&]_>/6(!D=%]("OK.HK-'A<1,+W0J'@@PA#[UOW7\R[
     13MP1)>[&Z0,GA;=X,U!,(J\>"62@=?Q@2I8<N$[BX3EOMS__(5IOYG#S#WA"S6
     14MD_)X+_.5XUHWWHY"S<"^UDT#'LQXA:GP6K>DKFZMKH.K`D8"D6_3"76H^V;P
     15M;XZ&32:O$`>'N$=$H)%`KB*0G1%HPLZ=-R50KR"0ZTVE205]LH(&\F2M="T!
     16M(SH:[5%M(6<T+A&>G(+P7N.4=M0"O3IJL5>HW#J1YW74[%`MU>$73`2PYJVX
     17M;E*U^G%%W;?.^,S.*V0[DNBI)'HJ:=H4BU5C7%-)]%3OR<<[HW$=1HNQ%Z1"
     18M$S^:69;J/\FN?Y:/7^3#[-2ZU:W/Q!(Z/)4]29Z(E<CS;H\\?(\]_#CZ<+U'
     19M.X"K4>]-&'-$9($KFZ/FP@ICN&ZAV5;GE(3>:L;X$9"H8'P'H;6`@2?*F"AD
     20MHI2)8B;*F2AHHJ2)HB;*,I1EJC^492C+4):A+$-9AK(,91G*6O5`9?5`'?6H
     21MBNEI8`7Q[(O4L<7K3WMXC??P&A^'USC#Z\T;X?6HI/4$O,8*KS=OAM?GSLE_
     22M#[S>`%YO3L?K38[7FPI>?R[PZJ7""]UJ?E*4/2N_W\@U7"7ILV@E,_0,P+)9
     23MG^@=8]M.=[E<_-\;6)\OW0/`M12_N`@CXH=BZ3GDP5]Z(250@)'B_L939?U2
     24M@<^)C-S2R[;FT#K#%L8-<D(QZ*%EA6OJ[$1`HHRYB,P]\L_%A2`/032Q@SZ1
     25M5>3\2KX!2]K6NZ%I;`E:\B_+NJE'MYY*.?JDOQ6CF$:[5!O+#,F1)P+4I(FR
     26M[>)B:XQ#VVVH!(B7+&('`T['P`UX,/FPY*-K0)V3F86*:DP[,!9[`X&OZG`L
     27MN.?NN685KN$N4*.=S#?H.2O*8\W*GEEUGM7X5`XZ;C)EZ.N"KCPKNU4D5W;H
     28M/@$MY:N25%IT"!"//<>?^HXM_"B4V+/+*D(B9EFP),>Y2*1:.PBBE>?^P\B,
     29MF>9A=B.8T,)($"=:PBP)[2H1IJ@ML+G()H\LW&0:)4J5K$^\N>V'DI]``]^>
     30M!!X(%GW,;$Y$%)&Y':ZAGWD<A;!U*NE6FJ`4#$W`AX<P2M209AJ6`TOF[3"B
     31M)K7VN=55F?ZU'&L.63[]$".:EVK,6R6R+96C'')6Y6&?+&'+1O0!3*K]C,R%
     32MC?+7BI<5A-"S$EG:P0(LU@?++ZS=[MX9&+E\:,LR17RJFI?H;AY/4@VE,J_`
     33M9=?8!>4U_96^IQ_H1_HO^F_Z'_J)_D9+<YZ)&QX,FP$1R<AG/3$_D"+#-NF0
     34MT:%%A]V3=ZIFGFRS_(N5?^F6UH=?BO5AZ@E8R8.@6!WRDJ?6!F@[G@$N<RV^
     35M`K27>LY"0&BY'SJ%[@+QJRCY+OEB8U>>NT@\J4N7G)QY4D:VR@B5*]\V-=KD
     36MMP700B1K;#"-),6R,0:DN[Q8M8;E52LNG45]&T`IHQN&97-;)'Y*/G]A=_+8
     37M`+>J:D"Q^MLE]`Z$T#\K2*/JD52-"\%V0<P]U8>E90:GO;F=)89#X",9]4EZ
     38M?F53LCZ_FE"R.;_"209S''UDU/:YU3VBFEDL8Z`;'`J%+];8"6`;M#M1O";1
     39MY)OG2+*K,R.E?J^?[&1DM+T1,CL%+'Q064%%5O!R4.2*_J^8H(LZ5,AR=K9(
     40MSS9/8V-Q%#B@Z8:NMQ#)_#X.(2DB9(T(V5"R.+_J-.(D[^#-86(6,-E%R6N!
     41MY*^`D7J$'#-KR#C',W\PI"G+YAKRU.R1'9(/'`KEN0;$"O4K:#F(%P?Q8B->
     42M)D\B11IV6=(&/S%9J5?+E%ZF%+.2L>8`2NVS"35W##:I5LVUZZ?`3/.9F@7-
     43M?9OOMT;?*ZOO=R\$QIH\:334Q:CL*,,Q[CD!"T-,]1P)I,3CBT"0<<74N9VB
     44M,[!JYTEJA2J%S>/"O/&!D):I0L<%64JW['+X(8/B4>FFI2@[;BN&F^S2=4L&
     45M4:SE)62MXNS8M:@64`T;W':[AUN#@!=UR@(\Q$THI\)X5@(BUK&7)R"8QY>+
     46MT=4AJ?E\Z=P1\J/L_H0#!9.]SDG(,==WS5>K\C3%:3S4-0]=KU;.<IO/Z`\>
     47MA!QUGIM=L)'*U`.IJ,W.)M:9T]MEV4BR3$YMY34%E)`1T<N$@[&16PZBYDZ<
     48M9R<VQXZ+R[['$1G(RS[,:70.TUN^]742SQ9>UDPN4F0>N6"8#DR$94%.'$8-
     49M_^5.?$H?**`34)M9-MZS3$@%;KL].VC8&.URV9G'SJ=6R=5=P\9H6-YPET&W
     50M&O#G<40%?1R?S*+;71;=(HMN]U&1L^CQ"1H=O"=Y]_+_%+P0^,^DF3JZ_,O3
     51MK%FU2R`)(0]D5J>K]\R;SZEU#E!TF;H`W?3.UM99RBIWG[@BD9==?N8'X]E[
     52L7&PG32O[DYG@0OW'#+[<<V&+A=P17_ZS99*K*U(4MJ.%:/T)KZ$-O:(F````
    5153`
    5254end
Note: See TracChangeset for help on using the changeset viewer.