Annotation of OpenXM/src/k097/slib.sm1, Revision 1.9
1.1 maekawa 1: K00_verbose %% if-condition
2: { %%ifbody
3: ( slib.k (slib.ccc): 8/17,1996, 3/4 -- 3/10,1997 ) message }%%end if if body
4: { %%if- else part
5: } ifelse
6: [ ] /Helplist set
7: /HelpAdd {
8: db.DebugStack setstack $In function : HelpAdd of class PrimitiveObject$ stdstack
9: /Arglist set /Argthis set /FunctionValue [ ] def
1.8 takayama 10: [/this /s /category ] /ArgNames set ArgNames pushVariables [ %%function body
1.1 maekawa 11: [Argthis] Arglist join ArgNames mapset
1.8 takayama 12: [ %%start of local variables
13: /n ] pushVariables [ %%local variables
14: this [ %% function args
15: Arglist ] {Length} sendmsg2
16: /n set
17: n (1).. lessThanOrEqual
18: %% if-condition
19: { %%ifbody
20: null /category set
21: }%%end if if body
22: { %%if- else part
23: } ifelse
24: true %% if-condition
25: { %%ifbody
26: n (1).. eq
27: n (2).. eq
28: or
29: not
30: %% if-condition
31: { %%ifbody
32: this [ %% function args
33: s ] {Println} sendmsg2
34: this [ %% function args
35: (HelpAdd: wrong argument length.) ] {Error} sendmsg2
36: }%%end if if body
37: { %%if- else part
38: } ifelse
39: this [ %% function args
40: category ] {Tag} sendmsg2
41: (0).. eq
42: this [ %% function args
43: category ] {Tag} sendmsg2
44: (5).. eq
45: or
46: not
47: %% if-condition
48: { %%ifbody
49: this [ %% function args
50: category ] {Println} sendmsg2
51: this [ %% function args
52: (HelpAdd: wrong category.) ] {Error} sendmsg2
53: }%%end if if body
54: { %%if- else part
55: } ifelse
56: this [ %% function args
57: s ] {Tag} sendmsg2
58: (6).. eq
59: not
60: %% if-condition
61: { %%ifbody
62: this [ %% function args
63: s ] {Println} sendmsg2
64: this [ %% function args
65: (HelpAdd: s must be an array.) ] {Error} sendmsg2
66: }%%end if if body
67: { %%if- else part
68: } ifelse
69: this [ %% function args
70: s [(0).. ] Get
71: ] {Tag} sendmsg2
72: (5).. eq
73: not
74: %% if-condition
75: { %%ifbody
76: this [ %% function args
77: s ] {Println} sendmsg2
78: this [ %% function args
79: (HelpAdd: s[0] must be a string.) ] {Error} sendmsg2
80: }%%end if if body
81: { %%if- else part
82: } ifelse
83: this [ %% function args
84: s [(1).. ] Get
85: ] {Tag} sendmsg2
86: (5).. eq
87: this [ %% function args
88: s [(1).. ] Get
89: ] {Tag} sendmsg2
90: (6).. eq
91: or
92: not
93: %% if-condition
94: { %%ifbody
95: this [ %% function args
96: s ] {Println} sendmsg2
97: this [ %% function args
98: (HelpAdd: s[1] must be a string or an array.) ] {Error} sendmsg2
99: }%%end if if body
100: { %%if- else part
101: } ifelse
102: }%%end if if body
103: { %%if- else part
104: } ifelse
105: [ category s ] /s set
1.1 maekawa 106: this [ %% function args
107: Helplist s ] {Append} sendmsg2
108: /Helplist set
1.8 takayama 109: /ExitPoint ]pop popVariables %%pop the local variables
1.1 maekawa 110: /ExitPoint ]pop popVariables %%pop argValues
111: db.DebugStack setstack pop stdstack
112: } def
113: %%end of function
114:
1.8 takayama 115: /Tag {
116: db.DebugStack setstack $In function : Tag of class PrimitiveObject$ stdstack
117: /Arglist set /Argthis set /FunctionValue [ ] def
118: [/this /f ] /ArgNames set ArgNames pushVariables [ %%function body
119: [Argthis] Arglist join ArgNames mapset
120: [ %%start of local variables
121: /ans ] pushVariables [ %%local variables
122: f etag (universalNumber) dc /ans set
123: ans /FunctionValue set {/ExitPoint goto} exec %%return
124: /ExitPoint ]pop popVariables %%pop the local variables
125: /ExitPoint ]pop popVariables %%pop argValues
126: db.DebugStack setstack pop stdstack
127: FunctionValue } def
128: %%end of function
129:
130: /Error {
131: db.DebugStack setstack $In function : Error of class PrimitiveObject$ stdstack
132: /Arglist set /Argthis set /FunctionValue [ ] def
133: [/this /s ] /ArgNames set ArgNames pushVariables [ %%function body
134: [Argthis] Arglist join ArgNames mapset
135: s error /ExitPoint ]pop popVariables %%pop argValues
136: db.DebugStack setstack pop stdstack
137: FunctionValue } def
138: %%end of function
139:
1.1 maekawa 140: /Print {
141: db.DebugStack setstack $In function : Print of class PrimitiveObject$ stdstack
142: /Arglist set /Argthis set /FunctionValue [ ] def
143: [/this /a ] /ArgNames set ArgNames pushVariables [ %%function body
144: [Argthis] Arglist join ArgNames mapset
145: a messagen /ExitPoint ]pop popVariables %%pop argValues
146: db.DebugStack setstack pop stdstack
147: FunctionValue } def
148: %%end of function
149:
150: /Println {
151: db.DebugStack setstack $In function : Println of class PrimitiveObject$ stdstack
152: /Arglist set /Argthis set /FunctionValue [ ] def
153: [/this /a ] /ArgNames set ArgNames pushVariables [ %%function body
154: [Argthis] Arglist join ArgNames mapset
155: a message /ExitPoint ]pop popVariables %%pop argValues
156: db.DebugStack setstack pop stdstack
157: FunctionValue } def
158: %%end of function
159:
160: /Ln {
161: db.DebugStack setstack $In function : Ln of class PrimitiveObject$ stdstack
162: /Arglist set /Argthis set /FunctionValue [ ] def
163: [/this ] /ArgNames set ArgNames pushVariables [ %%function body
164: [Argthis] ArgNames mapset
165: ( ) message /ExitPoint ]pop popVariables %%pop argValues
166: db.DebugStack setstack pop stdstack
167: FunctionValue } def
168: %%end of function
169:
170: /Poly {
171: db.DebugStack setstack $In function : Poly of class PrimitiveObject$ stdstack
172: /Arglist set /Argthis set /FunctionValue [ ] def
173: [/this /f ] /ArgNames set ArgNames pushVariables [ %%function body
174: [Argthis] Arglist join ArgNames mapset
175: f (poly) data_conversion /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
176: db.DebugStack setstack pop stdstack
177: FunctionValue } def
178: %%end of function
179:
180: /PolyR {
181: db.DebugStack setstack $In function : PolyR of class PrimitiveObject$ stdstack
182: /Arglist set /Argthis set /FunctionValue [ ] def
183: [/this /f /r ] /ArgNames set ArgNames pushVariables [ %%function body
184: [Argthis] Arglist join ArgNames mapset
185: f r ,, /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
186: db.DebugStack setstack pop stdstack
187: FunctionValue } def
188: %%end of function
189:
190: /Degree {
191: db.DebugStack setstack $In function : Degree of class PrimitiveObject$ stdstack
192: /Arglist set /Argthis set /FunctionValue [ ] def
193: [/this /f /v ] /ArgNames set ArgNames pushVariables [ %%function body
194: [Argthis] Arglist join ArgNames mapset
195: f v degree (universalNumber) dc /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
196: db.DebugStack setstack pop stdstack
197: FunctionValue } def
198: %%end of function
199:
200: /Append {
201: db.DebugStack setstack $In function : Append of class PrimitiveObject$ stdstack
202: /Arglist set /Argthis set /FunctionValue [ ] def
203: [/this /f /g ] /ArgNames set ArgNames pushVariables [ %%function body
204: [Argthis] Arglist join ArgNames mapset
205: this [ %% function args
206: f [ g ] ] {Join} sendmsg2
207: /FunctionValue set {/ExitPoint goto} exec %%return
208: /ExitPoint ]pop popVariables %%pop argValues
209: db.DebugStack setstack pop stdstack
210: FunctionValue } def
211: %%end of function
212:
213: /Length {
214: db.DebugStack setstack $In function : Length of class PrimitiveObject$ stdstack
215: /Arglist set /Argthis set /FunctionValue [ ] def
216: [/this /f ] /ArgNames set ArgNames pushVariables [ %%function body
217: [Argthis] Arglist join ArgNames mapset
218: f length (universalNumber) dc /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
219: db.DebugStack setstack pop stdstack
220: FunctionValue } def
221: %%end of function
222:
223: /Transpose {
224: db.DebugStack setstack $In function : Transpose of class PrimitiveObject$ stdstack
225: /Arglist set /Argthis set /FunctionValue [ ] def
226: [/this /mat ] /ArgNames set ArgNames pushVariables [ %%function body
227: [Argthis] Arglist join ArgNames mapset
228: mat transpose /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
229: db.DebugStack setstack pop stdstack
230: FunctionValue } def
231: %%end of function
232:
233:
234: /s.Indexed {
235: (integer) dc /arg2 set
236: /arg1 set
237: arg1 ([) arg2 (dollar) dc (]) 4 cat_n
238: } def
239:
240: /s.Indexed2 {
241: (integer) dc /arg3 set
242: (integer) dc /arg2 set
243: /arg1 set
244: arg1 ([) arg2 (dollar) dc (,) arg3 (dollar) dc (]) 6 cat_n
245: } def
246: /Groebner {
247: db.DebugStack setstack $In function : Groebner of class PrimitiveObject$ stdstack
248: /Arglist set /Argthis set /FunctionValue [ ] def
249: [/this /F ] /ArgNames set ArgNames pushVariables [ %%function body
250: [Argthis] Arglist join ArgNames mapset
251: F {[[(h). (1).]] replace homogenize} map /arg1 set
252: [arg1] groebner 0 get
253: /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
254: db.DebugStack setstack pop stdstack
255: FunctionValue } def
256: %%end of function
257:
258: /GroebnerTime {
259: db.DebugStack setstack $In function : GroebnerTime of class PrimitiveObject$ stdstack
260: /Arglist set /Argthis set /FunctionValue [ ] def
261: [/this /F ] /ArgNames set ArgNames pushVariables [ %%function body
262: [Argthis] Arglist join ArgNames mapset
263: F {[[(h). (1).]] replace homogenize} map /arg1 set
264: { [arg1] groebner 0 get } timer
265: /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
266: db.DebugStack setstack pop stdstack
267: FunctionValue } def
268: %%end of function
269:
270: /LiftStd {
271: db.DebugStack setstack $In function : LiftStd of class PrimitiveObject$ stdstack
272: /Arglist set /Argthis set /FunctionValue [ ] def
273: [/this /F ] /ArgNames set ArgNames pushVariables [ %%function body
274: [Argthis] Arglist join ArgNames mapset
275: F {[[(h). (1).]] replace homogenize} map /arg1 set
276: [arg1 [(needBack)]] groebner
277: /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
278: db.DebugStack setstack pop stdstack
279: FunctionValue } def
280: %%end of function
281:
282: /Reduction {
283: db.DebugStack setstack $In function : Reduction of class PrimitiveObject$ stdstack
284: /Arglist set /Argthis set /FunctionValue [ ] def
1.6 takayama 285: [/this /f /myset ] /ArgNames set ArgNames pushVariables [ %%function body
1.1 maekawa 286: [Argthis] Arglist join ArgNames mapset
1.6 takayama 287: [ %%start of local variables
288: /n /indexTable /set2 /i /j /tmp /t_syz /r /rng /vsize /tt ] pushVariables [ %%local variables
289: null /vsize set
290: this [ %% function args
291: this [ %% function args
292: (1) ] {Poly} sendmsg2
293: ] {GetRing} sendmsg2
294: /r set
295: this [ %% function args
296: f ] {GetRing} sendmsg2
297: /rng set
298: this [ %% function args
299: rng ] {Tag} sendmsg2
300: (0).. eq
301: %% if-condition
302: { %%ifbody
303: this [ %% function args
304: myset ] {GetRing} sendmsg2
305: /rng set
306: }%%end if if body
307: { %%if- else part
308: } ifelse
309: this [ %% function args
310: rng ] {Tag} sendmsg2
311: (0).. eq not
312: %% if-condition
313: { %%ifbody
314: this [ %% function args
315: rng ] {SetRing} sendmsg2
316: }%%end if if body
317: { %%if- else part
318: } ifelse
319: this [ %% function args
320: f ] {IsArray} sendmsg2
321: %% if-condition
322: { %%ifbody
323: this [ %% function args
324: f ] {Length} sendmsg2
325: /vsize set
326: [f] fromVectors 0 get /f set }%%end if if body
327: { %%if- else part
328: } ifelse
329: this [ %% function args
330: myset ] {Length} sendmsg2
331: /n set
332: n (0).. gt
333: %% if-condition
334: { %%ifbody
335: this [ %% function args
336: myset [(0).. ] Get
337: ] {IsArray} sendmsg2
338: %% if-condition
339: { %%ifbody
340: vsize this [ %% function args
341: myset [(0).. ] Get
342: ] {Length} sendmsg2
343: eq not
344: %% if-condition
345: { %%ifbody
346: this [ %% function args
347: (Reduction: size mismatch.) ] {Error} sendmsg2
348: }%%end if if body
349: { %%if- else part
350: } ifelse
351: myset fromVectors /myset set }%%end if if body
352: { %%if- else part
353: } ifelse
354: }%%end if if body
355: { %%if- else part
356: } ifelse
357: this [ %% function args
358: n ] {NewArray} sendmsg2
359: /indexTable set
360: [ ] /set2 set
361: (0).. /j set
362: (0).. /i set
363: %%for init.
364: %%for
365: { i n lt
366: { } {exit} ifelse
367: [ {%%increment
368: /i i (1).. {add} sendmsg2 def
369: } %%end of increment{A}
370: {%%start of B part{B}
371: this [ %% function args
372: myset [i ] Get
373: ] {Tag} sendmsg2
374: (0).. eq
375: %% if-condition
376: { %%ifbody
377: indexTable [i ] (1).. (0).. 2 1 roll {sub} sendmsg
378: Put
379: }%%end if if body
380: { %%if- else part
381: myset [i ] Get
382: this [ %% function args
383: (0) ] {Poly} sendmsg2
384: eq
385: %% if-condition
386: { %%ifbody
387: indexTable [i ] (1).. (0).. 2 1 roll {sub} sendmsg
388: Put
389: }%%end if if body
390: { %%if- else part
391: this [ %% function args
392: set2 myset [i ] Get
393: ] {Append} sendmsg2
394: /set2 set
395: indexTable [i ] j Put
396: /j j (1).. {add} sendmsg2 def
397: } ifelse
398: } ifelse
399: } %% end of B part. {B}
400: 2 1 roll] {exec} map pop
401: } loop %%end of for
402: f set2 (gradedPolySet) dc reduction /tmp set this [ %% function args
403: n ] {NewArray} sendmsg2
404: /t_syz set
405: (0).. /i set
406: %%for init.
407: %%for
408: { i n lt
409: { } {exit} ifelse
410: [ {%%increment
411: /i i (1).. {add} sendmsg2 def
412: } %%end of increment{A}
413: {%%start of B part{B}
414: indexTable [i ] Get
415: (1).. (0).. 2 1 roll {sub} sendmsg
416: eq not
417: %% if-condition
418: { %%ifbody
419: t_syz [i ] tmp [(2).. indexTable [i ] Get
420: ] Get
421: Put
422: }%%end if if body
423: { %%if- else part
424: t_syz [i ] this [ %% function args
425: (0) ] {Poly} sendmsg2
426: Put
427: } ifelse
428: } %% end of B part. {B}
429: 2 1 roll] {exec} map pop
430: } loop %%end of for
431: this [ %% function args
432: vsize ] {Tag} sendmsg2
433: (0).. eq not
434: %% if-condition
435: { %%ifbody
436: tmp [(0).. ] Get
437: /tt set
438: [vsize (integer) dc tt] toVectors /tt set tmp [(0).. ] tt Put
439: }%%end if if body
440: { %%if- else part
441: } ifelse
442: this [ %% function args
443: r ] {SetRing} sendmsg2
444: [ tmp [(0).. ] Get
445: tmp [(1).. ] Get
446: t_syz ] /FunctionValue set {/ExitPoint goto} exec %%return
447: /ExitPoint ]pop popVariables %%pop the local variables
448: /ExitPoint ]pop popVariables %%pop argValues
1.1 maekawa 449: db.DebugStack setstack pop stdstack
450: FunctionValue } def
451: %%end of function
452:
453: /IntegerToSm1Integer {
454: db.DebugStack setstack $In function : IntegerToSm1Integer of class PrimitiveObject$ stdstack
455: /Arglist set /Argthis set /FunctionValue [ ] def
456: [/this /f ] /ArgNames set ArgNames pushVariables [ %%function body
457: [Argthis] Arglist join ArgNames mapset
458: f (integer) dc /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
459: db.DebugStack setstack pop stdstack
460: FunctionValue } def
461: %%end of function
462:
463: /RingD {
464: db.DebugStack setstack $In function : RingD of class PrimitiveObject$ stdstack
465: /Arglist set /Argthis set /FunctionValue [ ] def
466: [/this /vList /weightMatrix /pp ] /ArgNames set ArgNames pushVariables [ %%function body
467: [Argthis] Arglist join ArgNames mapset
468: [ %%start of local variables
469: /new0 /tmp /size /n /i /j /newtmp /ringpp /argsize ] pushVariables [ %%local variables
470: this [ %% function args
471: Arglist ] {Length} sendmsg2
472: /argsize set
1.9 ! takayama 473: this [ %% function args
! 474: vList ] {IsArray} sendmsg2
! 475: %% if-condition
! 476: { %%ifbody
! 477: vList {toString} map from_records /vList set }%%end if if body
! 478: { %%if- else part
! 479: } ifelse
1.1 maekawa 480: argsize (1).. eq
481: %% if-condition
482: { %%ifbody
483: [ vList ring_of_differential_operators ( ) elimination_order 0 ] define_ring
1.4 takayama 484: /tmp set this [ %% function args
485: ] {SetRingVariables} sendmsg2
486: tmp /FunctionValue set {/ExitPoint goto} exec %%return
1.1 maekawa 487: }%%end if if body
488: { %%if- else part
489: } ifelse
490: argsize (2).. eq
491: %% if-condition
492: { %%ifbody
493: (0).. /pp set
494: }%%end if if body
495: { %%if- else part
496: } ifelse
497: this [ %% function args
498: pp ] {IntegerToSm1Integer} sendmsg2
499: /pp set
500: this [ %% function args
501: weightMatrix ] {Length} sendmsg2
502: /size set
503: this [ %% function args
504: size ] {NewVector} sendmsg2
505: /new0 set
506: /@@@.indexMode.flag.save @@@.indexMode.flag def 0 @@@.indexMode (0).. %%PSfor initvalue.
507: (integer) data_conversion
508: size (1).. sub (integer) data_conversion 1 2 -1 roll
509: { %% for body
510: (universalNumber) data_conversion /i set
511: weightMatrix [i ] Get
512: /tmp set
513: this [ %% function args
514: tmp ] {Length} sendmsg2
515: /n set
516: this [ %% function args
517: n ] {NewVector} sendmsg2
518: /newtmp set
519: (1).. /j set
520: %%for init.
521: %%for
522: { j n lt
523: { } {exit} ifelse
524: [ {%%increment
525: j (2).. {add} sendmsg2
526: /j set
527: } %%end of increment{A}
528: {%%start of B part{B}
529: newtmp [j (1).. {sub} sendmsg2
530: ] tmp [j (1).. {sub} sendmsg2
531: ] Get
532: Put
533: newtmp [j ] this [ %% function args
534: tmp [j ] Get
535: ] {IntegerToSm1Integer} sendmsg2
536: Put
537: } %% end of B part. {B}
538: 2 1 roll] {exec} map pop
539: } loop %%end of for
540: new0 [i ] newtmp Put
541: } for
542: [ vList ring_of_differential_operators new0 weight_vector pp ] define_ring /ringpp set
1.4 takayama 543: this [ %% function args
544: ] {SetRingVariables} sendmsg2
1.1 maekawa 545: @@@.indexMode.flag.save @@@.indexMode ringpp /FunctionValue set {/ExitPoint goto} exec %%return
546: /ExitPoint ]pop popVariables %%pop the local variables
547: /ExitPoint ]pop popVariables %%pop argValues
548: db.DebugStack setstack pop stdstack
549: FunctionValue } def
550: %%end of function
551:
552: /getxvar {
553: db.DebugStack setstack $In function : getxvar of class PrimitiveObject$ stdstack
554: /Arglist set /Argthis set /FunctionValue [ ] def
555: [/this /i ] /ArgNames set ArgNames pushVariables [ %%function body
556: [Argthis] Arglist join ArgNames mapset
557: [(x) (var) i ..int ] system_variable /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
558: db.DebugStack setstack pop stdstack
559: FunctionValue } def
560: %%end of function
561:
562: /getdvar {
563: db.DebugStack setstack $In function : getdvar of class PrimitiveObject$ stdstack
564: /Arglist set /Argthis set /FunctionValue [ ] def
565: [/this /i ] /ArgNames set ArgNames pushVariables [ %%function body
566: [Argthis] Arglist join ArgNames mapset
567: [(D) (var) i ..int ] system_variable /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
568: db.DebugStack setstack pop stdstack
569: FunctionValue } def
570: %%end of function
571:
572: /getvarn {
573: db.DebugStack setstack $In function : getvarn of class PrimitiveObject$ stdstack
574: /Arglist set /Argthis set /FunctionValue [ ] def
575: [/this ] /ArgNames set ArgNames pushVariables [ %%function body
576: [Argthis] ArgNames mapset
577: [(N)] system_variable (universalNumber) dc /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
578: db.DebugStack setstack pop stdstack
579: FunctionValue } def
580: %%end of function
581:
1.4 takayama 582: false /SetRingVariables_Verbose set
1.1 maekawa 583: /SetRingVariables {
584: db.DebugStack setstack $In function : SetRingVariables of class PrimitiveObject$ stdstack
585: /Arglist set /Argthis set /FunctionValue [ ] def
586: [/this ] /ArgNames set ArgNames pushVariables [ %%function body
587: [Argthis] ArgNames mapset
588: SetRingVariables_Verbose %% if-condition
589: { %%ifbody
590: this [ %% function args
591: (SetRingVariables() Setting the global variables : ) ] {Print} sendmsg2
592: }%%end if if body
593: { %%if- else part
594: } ifelse
595: this [ %% function args
1.4 takayama 596: (0).. [(N)] system_variable (universalNumber) dc ] {k00setRingVariables} sendmsg2
597: %% if-condition
598: { %%ifbody
599: define_ring_variables }%%end if if body
600: { %%if- else part
601: } ifelse
1.1 maekawa 602: SetRingVariables_Verbose %% if-condition
603: { %%ifbody
604: this [ %% function args
605: ] {Ln} sendmsg2
606: }%%end if if body
607: { %%if- else part
608: } ifelse
609: /ExitPoint ]pop popVariables %%pop argValues
610: db.DebugStack setstack pop stdstack
611: FunctionValue } def
612: %%end of function
613:
614: /k00AreThereLeftBrace {
615: db.DebugStack setstack $In function : k00AreThereLeftBrace of class PrimitiveObject$ stdstack
616: /Arglist set /Argthis set /FunctionValue [ ] def
617: [/this /s ] /ArgNames set ArgNames pushVariables [ %%function body
618: [Argthis] Arglist join ArgNames mapset
619: [ %%start of local variables
620: /leftBrace /jj /slist ] pushVariables [ %%local variables
621: $[$ (array) dc 0 get (universalNumber) dc /leftBrace set
622: this [ %% function args
623: this [ %% function args
1.8 takayama 624: s ] {StringToAsciiArray} sendmsg2
1.1 maekawa 625: leftBrace ] {Position} sendmsg2
626: /jj set
627: jj (1).. (0).. 2 1 roll {sub} sendmsg
628: eq not
629: %% if-condition
630: { %%ifbody
631: true /FunctionValue set {/ExitPoint goto} exec %%return
632: }%%end if if body
633: { %%if- else part
634: false /FunctionValue set {/ExitPoint goto} exec %%return
635: } ifelse
636: /ExitPoint ]pop popVariables %%pop the local variables
637: /ExitPoint ]pop popVariables %%pop argValues
638: db.DebugStack setstack pop stdstack
639: FunctionValue } def
640: %%end of function
641:
642: /k00setRingVariables {
643: db.DebugStack setstack $In function : k00setRingVariables of class PrimitiveObject$ stdstack
644: /Arglist set /Argthis set /FunctionValue [ ] def
1.4 takayama 645: [/this /p /q ] /ArgNames set ArgNames pushVariables [ %%function body
1.1 maekawa 646: [Argthis] Arglist join ArgNames mapset
647: [ %%start of local variables
1.4 takayama 648: /v /i ] pushVariables [ %%local variables
649: p /i set
650: %%for init.
651: %%for
652: { i q lt
653: { } {exit} ifelse
654: [ {%%increment
655: /i i (1).. {add} sendmsg2 def
656: } %%end of increment{A}
657: {%%start of B part{B}
1.1 maekawa 658: this [ %% function args
1.4 takayama 659: i ] {getxvar} sendmsg2
660: /v set
1.1 maekawa 661: this [ %% function args
1.4 takayama 662: v ] {k00AreThereLeftBrace} sendmsg2
1.1 maekawa 663: %% if-condition
664: { %%ifbody
1.4 takayama 665: false /FunctionValue set {/ExitPoint goto} exec %%return
1.1 maekawa 666: }%%end if if body
667: { %%if- else part
668: } ifelse
669: this [ %% function args
1.4 takayama 670: i ] {getdvar} sendmsg2
671: /v set
1.1 maekawa 672: this [ %% function args
1.4 takayama 673: v ] {k00AreThereLeftBrace} sendmsg2
1.1 maekawa 674: %% if-condition
675: { %%ifbody
1.4 takayama 676: false /FunctionValue set {/ExitPoint goto} exec %%return
1.1 maekawa 677: }%%end if if body
678: { %%if- else part
679: } ifelse
1.4 takayama 680: } %% end of B part. {B}
681: 2 1 roll] {exec} map pop
682: } loop %%end of for
683: true /FunctionValue set {/ExitPoint goto} exec %%return
1.1 maekawa 684: /ExitPoint ]pop popVariables %%pop the local variables
685: /ExitPoint ]pop popVariables %%pop argValues
686: db.DebugStack setstack pop stdstack
1.4 takayama 687: FunctionValue } def
1.1 maekawa 688: %%end of function
689:
690: /AddString {
691: db.DebugStack setstack $In function : AddString of class PrimitiveObject$ stdstack
692: /Arglist set /Argthis set /FunctionValue [ ] def
693: [/this /f ] /ArgNames set ArgNames pushVariables [ %%function body
694: [Argthis] Arglist join ArgNames mapset
695: f aload length cat_n /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
696: db.DebugStack setstack pop stdstack
697: FunctionValue } def
698: %%end of function
699:
700: /IntegerToString {
701: db.DebugStack setstack $In function : IntegerToString of class PrimitiveObject$ stdstack
702: /Arglist set /Argthis set /FunctionValue [ ] def
703: [/this /f ] /ArgNames set ArgNames pushVariables [ %%function body
704: [Argthis] Arglist join ArgNames mapset
705: f (string) dc /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
706: db.DebugStack setstack pop stdstack
707: FunctionValue } def
708: %%end of function
709:
710: /Replace {
711: db.DebugStack setstack $In function : Replace of class PrimitiveObject$ stdstack
712: /Arglist set /Argthis set /FunctionValue [ ] def
713: [/this /f /rule ] /ArgNames set ArgNames pushVariables [ %%function body
714: [Argthis] Arglist join ArgNames mapset
715: f rule replace /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
716: db.DebugStack setstack pop stdstack
717: FunctionValue } def
718: %%end of function
719:
720: /AsciiToString {
721: db.DebugStack setstack $In function : AsciiToString of class PrimitiveObject$ stdstack
722: /Arglist set /Argthis set /FunctionValue [ ] def
723: [/this /c ] /ArgNames set ArgNames pushVariables [ %%function body
724: [Argthis] Arglist join ArgNames mapset
725: c (integer) dc (string) dc /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
726: db.DebugStack setstack pop stdstack
727: FunctionValue } def
728: %%end of function
729:
730: /ToString {
731: db.DebugStack setstack $In function : ToString of class PrimitiveObject$ stdstack
732: /Arglist set /Argthis set /FunctionValue [ ] def
733: [/this /p ] /ArgNames set ArgNames pushVariables [ %%function body
734: [Argthis] Arglist join ArgNames mapset
735: [ %%start of local variables
736: /n /ans /i ] pushVariables [ %%local variables
737: [ ] /ans set
738: this [ %% function args
739: p ] {IsArray} sendmsg2
740: %% if-condition
741: { %%ifbody
742: this [ %% function args
743: p ] {Length} sendmsg2
744: /n set
745: this [ %% function args
746: ans ([ ) ] {Append} sendmsg2
747: /ans set
748: (0).. /i set
749: %%for init.
750: %%for
751: { i n lt
752: { } {exit} ifelse
753: [ {%%increment
754: /i i (1).. {add} sendmsg2 def
755: } %%end of increment{A}
756: {%%start of B part{B}
757: this [ %% function args
758: ans this [ %% function args
759: p [i ] Get
760: ] {ToString} sendmsg2
761: ] {Append} sendmsg2
762: /ans set
763: i n (1).. {sub} sendmsg2
764: eq not
765: %% if-condition
766: { %%ifbody
767: this [ %% function args
768: ans ( , ) ] {Append} sendmsg2
769: /ans set
770: }%%end if if body
771: { %%if- else part
772: } ifelse
773: } %% end of B part. {B}
774: 2 1 roll] {exec} map pop
775: } loop %%end of for
776: this [ %% function args
777: ans ( ] ) ] {Append} sendmsg2
778: /ans set
779: }%%end if if body
780: { %%if- else part
781: [ p (dollar) dc ] /ans set
782: } ifelse
783: this [ %% function args
784: ans ] {AddString} sendmsg2
785: /FunctionValue set {/ExitPoint goto} exec %%return
786: /ExitPoint ]pop popVariables %%pop the local variables
787: /ExitPoint ]pop popVariables %%pop argValues
788: db.DebugStack setstack pop stdstack
789: FunctionValue } def
790: %%end of function
791:
792: /IsArray {
793: db.DebugStack setstack $In function : IsArray of class PrimitiveObject$ stdstack
794: /Arglist set /Argthis set /FunctionValue [ ] def
795: [/this /p ] /ArgNames set ArgNames pushVariables [ %%function body
796: [Argthis] Arglist join ArgNames mapset
797: p isArray /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
798: db.DebugStack setstack pop stdstack
799: FunctionValue } def
800: %%end of function
801:
802: /Denominator {
803: db.DebugStack setstack $In function : Denominator of class PrimitiveObject$ stdstack
804: /Arglist set /Argthis set /FunctionValue [ ] def
805: [/this /f ] /ArgNames set ArgNames pushVariables [ %%function body
806: [Argthis] Arglist join ArgNames mapset
807: f (denominator) dc /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
808: db.DebugStack setstack pop stdstack
809: FunctionValue } def
810: %%end of function
811:
812: /Numerator {
813: db.DebugStack setstack $In function : Numerator of class PrimitiveObject$ stdstack
814: /Arglist set /Argthis set /FunctionValue [ ] def
815: [/this /f ] /ArgNames set ArgNames pushVariables [ %%function body
816: [Argthis] Arglist join ArgNames mapset
817: f (numerator) dc /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
818: db.DebugStack setstack pop stdstack
819: FunctionValue } def
820: %%end of function
821:
822: /Replace {
823: db.DebugStack setstack $In function : Replace of class PrimitiveObject$ stdstack
824: /Arglist set /Argthis set /FunctionValue [ ] def
825: [/this /f /rule ] /ArgNames set ArgNames pushVariables [ %%function body
826: [Argthis] Arglist join ArgNames mapset
827: [ %%start of local variables
828: /ans /n /tmp /i /num /den ] pushVariables [ %%local variables
829: this [ %% function args
830: f ] {IsArray} sendmsg2
831: %% if-condition
832: { %%ifbody
833: this [ %% function args
834: f ] {Length} sendmsg2
835: /n set
836: [ ] /ans set
837: (0).. /i set
838: %%for init.
839: %%for
840: { i n lt
841: { } {exit} ifelse
842: [ {%%increment
843: /i i (1).. {add} sendmsg2 def
844: } %%end of increment{A}
845: {%%start of B part{B}
846: this [ %% function args
847: ans this [ %% function args
848: f [i ] Get
849: rule ] {Replace} sendmsg2
850: ] {Append} sendmsg2
851: /ans set
852: } %% end of B part. {B}
853: 2 1 roll] {exec} map pop
854: } loop %%end of for
855: ans /FunctionValue set {/ExitPoint goto} exec %%return
856: }%%end if if body
857: { %%if- else part
858: } ifelse
859: f tag RationalFunctionP eq %% if-condition
860: { %%ifbody
861: this [ %% function args
862: f ] {Numerator} sendmsg2
863: /num set
864: this [ %% function args
865: f ] {Denominator} sendmsg2
866: /den set
867: num rule replace /num set
868: den rule replace /den set
869: num den {div} sendmsg2
870: /FunctionValue set {/ExitPoint goto} exec %%return
871: }%%end if if body
872: { %%if- else part
873: } ifelse
874: f rule replace /FunctionValue set /ExitPoint ]pop popVariables %%pop the local variables
875: /ExitPoint ]pop popVariables %%pop argValues
876: db.DebugStack setstack pop stdstack
877: FunctionValue } def
878: %%end of function
879:
880: /Map {
881: db.DebugStack setstack $In function : Map of class PrimitiveObject$ stdstack
882: /Arglist set /Argthis set /FunctionValue [ ] def
883: [/this /karg /func ] /ArgNames set ArgNames pushVariables [ %%function body
884: [Argthis] Arglist join ArgNames mapset
885: karg { [ 2 -1 roll ] this 2 -1 roll [(parse) func ] extension pop } map /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
886: db.DebugStack setstack pop stdstack
887: FunctionValue } def
888: %%end of function
889:
890: /Position {
891: db.DebugStack setstack $In function : Position of class PrimitiveObject$ stdstack
892: /Arglist set /Argthis set /FunctionValue [ ] def
893: [/this /list /elem ] /ArgNames set ArgNames pushVariables [ %%function body
894: [Argthis] Arglist join ArgNames mapset
895: [ %%start of local variables
896: /n /pos /i ] pushVariables [ %%local variables
897: this [ %% function args
898: list ] {Length} sendmsg2
899: /n set
900: (1).. (0).. 2 1 roll {sub} sendmsg
901: /pos set
902: (0).. /i set
903: %%for init.
904: %%for
905: { i n lt
906: { } {exit} ifelse
907: [ {%%increment
908: /i i (1).. {add} sendmsg2 def
909: } %%end of increment{A}
910: {%%start of B part{B}
911: elem list [i ] Get
912: eq
913: %% if-condition
914: { %%ifbody
915: i /pos set
916: /k00.label0 goto }%%end if if body
917: { %%if- else part
918: } ifelse
919: } %% end of B part. {B}
920: 2 1 roll] {exec} map pop
921: } loop %%end of for
922: /k00.label0 pos /FunctionValue set {/ExitPoint goto} exec %%return
923: /ExitPoint ]pop popVariables %%pop the local variables
924: /ExitPoint ]pop popVariables %%pop argValues
925: db.DebugStack setstack pop stdstack
926: FunctionValue } def
927: %%end of function
928:
929: /StringToAsciiArray {
930: db.DebugStack setstack $In function : StringToAsciiArray of class PrimitiveObject$ stdstack
931: /Arglist set /Argthis set /FunctionValue [ ] def
932: [/this /s ] /ArgNames set ArgNames pushVariables [ %%function body
933: [Argthis] Arglist join ArgNames mapset
1.8 takayama 934: s (array) dc { (universalNumber) dc } map /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
1.1 maekawa 935: db.DebugStack setstack pop stdstack
936: FunctionValue } def
937: %%end of function
938:
939: /NewArray {
940: db.DebugStack setstack $In function : NewArray of class PrimitiveObject$ stdstack
941: /Arglist set /Argthis set /FunctionValue [ ] def
942: [/this /n ] /ArgNames set ArgNames pushVariables [ %%function body
943: [Argthis] Arglist join ArgNames mapset
944: this [ %% function args
945: n ] {NewVector} sendmsg2
946: /FunctionValue set {/ExitPoint goto} exec %%return
947: /ExitPoint ]pop popVariables %%pop argValues
948: db.DebugStack setstack pop stdstack
949: FunctionValue } def
950: %%end of function
951:
1.2 takayama 952: /GetEnv {
953: db.DebugStack setstack $In function : GetEnv of class PrimitiveObject$ stdstack
954: /Arglist set /Argthis set /FunctionValue [ ] def
955: [/this /s ] /ArgNames set ArgNames pushVariables [ %%function body
956: [Argthis] Arglist join ArgNames mapset
957: [(getenv) s] extension /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
958: db.DebugStack setstack pop stdstack
959: FunctionValue } def
960: %%end of function
961:
1.3 takayama 962: /Boundp {
963: db.DebugStack setstack $In function : Boundp of class PrimitiveObject$ stdstack
964: /Arglist set /Argthis set /FunctionValue [ ] def
965: [/this /a ] /ArgNames set ArgNames pushVariables [ %%function body
966: [Argthis] Arglist join ArgNames mapset
967: [ %%start of local variables
968: /b ] pushVariables [ %%local variables
969: [(parse) [(/) a ( load tag 0 eq
970: { /FunctionValue 0 def }
971: { /FunctionValue 1 def } ifelse )] cat ] extension /ExitPoint ]pop popVariables %%pop the local variables
972: /ExitPoint ]pop popVariables %%pop argValues
973: db.DebugStack setstack pop stdstack
974: FunctionValue } def
975: %%end of function
976:
977: /Rest {
978: db.DebugStack setstack $In function : Rest of class PrimitiveObject$ stdstack
979: /Arglist set /Argthis set /FunctionValue [ ] def
980: [/this /a ] /ArgNames set ArgNames pushVariables [ %%function body
981: [Argthis] Arglist join ArgNames mapset
982: a rest /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
983: db.DebugStack setstack pop stdstack
984: FunctionValue } def
985: %%end of function
986:
987: /GetPathName {
988: db.DebugStack setstack $In function : GetPathName of class PrimitiveObject$ stdstack
989: /Arglist set /Argthis set /FunctionValue [ ] def
990: [/this /s ] /ArgNames set ArgNames pushVariables [ %%function body
991: [Argthis] Arglist join ArgNames mapset
992: [ %%start of local variables
993: /t /sss ] pushVariables [ %%local variables
994: s /sss set
995: [(stat) s] extension 0 get /t set this [ %% function args
996: t ] {Tag} sendmsg2
997: (0).. eq
998: %% if-condition
999: { %%ifbody
1000: this [ %% function args
1001: [ this [ %% function args
1002: (LOAD_K_PATH) ] {GetEnv} sendmsg2
1003: (/) s ] ] {AddString} sendmsg2
1004: /s set
1005: [(stat) s] extension 0 get /t set this [ %% function args
1006: t ] {Tag} sendmsg2
1007: (0).. eq
1008: %% if-condition
1009: { %%ifbody
1010: null /FunctionValue set {/ExitPoint goto} exec %%return
1011: }%%end if if body
1012: { %%if- else part
1013: s /FunctionValue set {/ExitPoint goto} exec %%return
1014: } ifelse
1015: }%%end if if body
1016: { %%if- else part
1017: s /FunctionValue set {/ExitPoint goto} exec %%return
1018: } ifelse
1019: /ExitPoint ]pop popVariables %%pop the local variables
1020: /ExitPoint ]pop popVariables %%pop argValues
1021: db.DebugStack setstack pop stdstack
1022: FunctionValue } def
1023: %%end of function
1024:
1.4 takayama 1025: /Load_sm1 {
1026: db.DebugStack setstack $In function : Load_sm1 of class PrimitiveObject$ stdstack
1027: /Arglist set /Argthis set /FunctionValue [ ] def
1028: [/this /fnames /flag ] /ArgNames set ArgNames pushVariables [ %%function body
1029: [Argthis] Arglist join ArgNames mapset
1030: [ %%start of local variables
1031: /ppp /n /i /cmd ] pushVariables [ %%local variables
1032: this [ %% function args
1033: flag ] {Boundp} sendmsg2
1034: %% if-condition
1035: { %%ifbody
1036: }%%end if if body
1037: { %%if- else part
1038: this [ %% function args
1039: fnames ] {Length} sendmsg2
1040: /n set
1041: (0).. /i set
1042: %%for init.
1043: %%for
1044: { i n lt
1045: { } {exit} ifelse
1046: [ {%%increment
1047: /i i (1).. {add} sendmsg2 def
1048: } %%end of increment{A}
1049: {%%start of B part{B}
1050: this [ %% function args
1051: fnames [i ] Get
1052: ] {GetPathName} sendmsg2
1053: /ppp set
1054: this [ %% function args
1055: ppp ] {Tag} sendmsg2
1056: (0).. eq not
1057: %% if-condition
1058: { %%ifbody
1059: [(parse) ppp pushfile ] extension this [ %% function args
1060: [ (/) flag ( 1 def ) ] ] {AddString} sendmsg2
1061: /cmd set
1062: [(parse) cmd ] extension n /i set
1063: }%%end if if body
1064: { %%if- else part
1065: } ifelse
1066: } %% end of B part. {B}
1067: 2 1 roll] {exec} map pop
1068: } loop %%end of for
1069: } ifelse
1070: /ExitPoint ]pop popVariables %%pop the local variables
1071: /ExitPoint ]pop popVariables %%pop argValues
1072: db.DebugStack setstack pop stdstack
1073: FunctionValue } def
1074: %%end of function
1075:
1.5 takayama 1076: /GetRing {
1077: db.DebugStack setstack $In function : GetRing of class PrimitiveObject$ stdstack
1078: /Arglist set /Argthis set /FunctionValue [ ] def
1079: [/this /f ] /ArgNames set ArgNames pushVariables [ %%function body
1080: [Argthis] Arglist join ArgNames mapset
1081: f getRing /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues
1082: db.DebugStack setstack pop stdstack
1083: FunctionValue } def
1084: %%end of function
1085:
1086: /SetRing {
1087: db.DebugStack setstack $In function : SetRing of class PrimitiveObject$ stdstack
1088: /Arglist set /Argthis set /FunctionValue [ ] def
1089: [/this /r ] /ArgNames set ArgNames pushVariables [ %%function body
1090: [Argthis] Arglist join ArgNames mapset
1091: r ring_def /ExitPoint ]pop popVariables %%pop argValues
1092: db.DebugStack setstack pop stdstack
1093: FunctionValue } def
1094: %%end of function
1095:
1.7 takayama 1096: /ReParse {
1097: db.DebugStack setstack $In function : ReParse of class PrimitiveObject$ stdstack
1098: /Arglist set /Argthis set /FunctionValue [ ] def
1099: [/this /a ] /ArgNames set ArgNames pushVariables [ %%function body
1100: [Argthis] Arglist join ArgNames mapset
1101: [ %%start of local variables
1102: /c ] pushVariables [ %%local variables
1103: this [ %% function args
1104: a ] {IsArray} sendmsg2
1105: %% if-condition
1106: { %%ifbody
1107: this [ %% function args
1108: a (ReParse) ] {Map} sendmsg2
1109: /c set
1110: }%%end if if body
1111: { %%if- else part
1112: a toString . /c set } ifelse
1113: c /FunctionValue set {/ExitPoint goto} exec %%return
1114: /ExitPoint ]pop popVariables %%pop the local variables
1115: /ExitPoint ]pop popVariables %%pop argValues
1116: db.DebugStack setstack pop stdstack
1117: FunctionValue } def
1118: %%end of function
1119:
1120: /Pmat {
1121: db.DebugStack setstack $In function : Pmat of class PrimitiveObject$ stdstack
1122: /Arglist set /Argthis set /FunctionValue [ ] def
1123: [/this /a ] /ArgNames set ArgNames pushVariables [ %%function body
1124: [Argthis] Arglist join ArgNames mapset
1125: a pmat /ExitPoint ]pop popVariables %%pop argValues
1126: db.DebugStack setstack pop stdstack
1127: } def
1128: %%end of function
1129:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to slib.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / k097