Home
last modified time | relevance | path

Searched refs:atsoc (Results 1 – 25 of 369) sorted by relevance

12345678910>>...15

/dports/math/reduce/Reduce-svn5758-src/packages/rlisp88/
H A Dloops88.red58 xwith := atsoc('with,u);
63 x!-car x!-cdr atsoc('returns,u),
64 mkfn(x!-cdr atsoc('initially,u),'progn),
65 mkfn(x!-cdr atsoc('finally,u),'progn),
66 x!-car x!-cdr atsoc('until,u),
122 rets := x!-car x!-cdr atsoc('returns,u);
123 vars := x!-car x!-cdr atsoc('with,u);
124 if body := atsoc('collect,u)
131 else if body := atsoc('do,u) then body := cdr body
138 mkfn(x!-cdr atsoc('initially,u),'progn),
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/rlsupport/
H A Drlhelp.red197 lto_at2str b . cdr atsoc('description, cdr atsoc('doc, get(b, 'rl_builtin)));
237 id2string s . cdr atsoc('description, get(s, 'docal));
367 rawdal := cdr atsoc('doc, get(x, get(x, 'rl_support)));
368 w := cdr atsoc('synopsis, rawdal);
371 push(atsoc('description, rawdal), dal);
372 push(atsoc('returns, rawdal), dal);
373 w := cdr atsoc('arguments, rawdal);
376 w := cdr atsoc('seealso, rawdal);
390 rawdal := cdr atsoc('doc, get(x, get(x, 'rl_support)));
392 w := atsoc(k, rawdal);
[all …]
H A Drljson.red149 names := cdr atsoc('names, docal);
150 defaults := cdr atsoc('defaults, docal);
152 if not atsoc(name, defaults) then
/dports/math/reduce/Reduce-svn5758-src/packages/clashes/
H A Ddiffp55 % if x := atsoc(u,dsubl!*) then go to d
61 if (x := atsoc(u,wtl!*))
73 and (not (x:= atsoc(u,powlis!*))
270 if (x := atsoc(u,wtl!*))
282 and (not (x:= atsoc(u,powlis!*))
397 if (x := atsoc(u,wtl!*))
409 and (not (x:= atsoc(u,powlis!*))
558 if (x := atsoc(u,wtl!*))
570 and (not (x:= atsoc(u,powlis!*))
671 e: if (x := atsoc(u,wtl!*))
[all …]
/dports/math/reduce/Reduce-svn5758-src/psl/dist/util/ibmrs/
H A Ddisassemble.sl163 (setq spr (atsoc spr '((0 . "mq") (1 . "xer") (4 . "rctu")
225 (prin2 (cadr (atsoc 'instr alist)))
235 (setq institem (atsoc fmtitem alist))
240 (when (equal (cdr (atsoc 'ra alist)) "reg st")
241 (setq comment (cdr (atsoc 'si alist)))
244 (when (equal (cdr (atsoc 'ra alist)) "reg symvalc")
245 (setq comment (cdr (atsoc 'si alist)))
252 (when (equal (cdr (atsoc 'ra alist)) "reg symfncc")
253 (setq comment (cdr (atsoc 'si alist)))
/dports/math/reduce/Reduce-svn5758-src/psl/dist/util/macg4/
H A Ddisassemble.sl163 (setq spr (atsoc spr '((0 . "mq") (1 . "xer") (4 . "rctu")
225 (prin2 (cadr (atsoc 'instr alist)))
235 (setq institem (atsoc fmtitem alist))
240 (when (equal (cdr (atsoc 'ra alist)) "reg st")
241 (setq comment (cdr (atsoc 'si alist)))
244 (when (equal (cdr (atsoc 'ra alist)) "reg symvalc")
245 (setq comment (cdr (atsoc 'si alist)))
252 (when (equal (cdr (atsoc 'ra alist)) "reg symfncc")
253 (setq comment (cdr (atsoc 'si alist)))
/dports/math/reduce/Reduce-svn5758-src/psl/dist/util/macg5/
H A Ddisassemble.sl163 (setq spr (atsoc spr '((0 . "mq") (1 . "xer") (4 . "rctu")
225 (prin2 (cadr (atsoc 'instr alist)))
235 (setq institem (atsoc fmtitem alist))
240 (when (equal (cdr (atsoc 'ra alist)) "reg st")
241 (setq comment (cdr (atsoc 'si alist)))
244 (when (equal (cdr (atsoc 'ra alist)) "reg symvalc")
245 (setq comment (cdr (atsoc 'si alist)))
252 (when (equal (cdr (atsoc 'ra alist)) "reg symfncc")
253 (setq comment (cdr (atsoc 'si alist)))
/dports/math/reduce/Reduce-svn5758-src/packages/eds/
H A Dedspde.red51 if k := atsoc(lid k,depl!*) then {makelist k};
57 foreach x in atsoc(k,depl!*) do depend1(k,x,nil);
61 foreach x in setdiff(atsoc(k,depl!*),ind) do depend1(k,x,nil);
62 if null atsoc(k,depl!*) then foreach x in ind do depend1(k,x,t);
145 foreach k in dep1 do if not atsoc(k,dep) then
161 %% flag(foreach k in fns join if atsoc(k,depl!*) then {k},'impfun);
162 %% flag(foreach p in dep join if atsoc(car p,depl!*) then
193 if (p := atsoc(car k,dep)) then
197 else if not atsoc(k,dep) then
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/
H A Dofsfbnf.red153 return cdr atsoc(r1,cdr atsoc(r2,w));
180 return cdr atsoc(r1,cdr atsoc(r2,w))
229 return cdr atsoc(r2,cdr atsoc(r1,w))
311 return cdr atsoc(r2,cdr atsoc(r1,w))
365 return cdr atsoc(r2,cdr atsoc(r1,w))
/dports/math/reduce/Reduce-svn5758-src/packages/alg/
H A Dweight.red50 if null atsoc('k!*,asymplis!*)
61 x := if (x := atsoc(y,wtl!*)) then {{'equal, car x, cdr x}};
73 where x = atsoc('k!*,asymplis!*);
/dports/math/reduce/Reduce-svn5758-src/packages/crack/
H A Dfixes2.red49 %% %else if (x := assoc(u,dsubl!*)) and (x := atsoc(v,cdr x))
81 %% % if x := atsoc(u,dsubl!*) then go to d
87 %% if (x := atsoc(u,wtl!*))
99 %% and (not (x:= atsoc(u,powlis!*))
108 %% and (not (x := atsoc(u,powlis!*)) or not depends(cadddr x,v))
109 %% and (x := atsoc(u, depl!*)) and not(v memq (x:=cdr x)) then <<
121 %% else if !*simpnoncomdf and (w:=atsoc(v, depl!*))
154 %% and (not (x := atsoc(cadr u,powlis!*)) or not depends(cadddr x,v))
207 %% and (not (x:= atsoc(u:=cadr w,powlis!*))
217 %% and (not (x:= atsoc(u,powlis!*)) or not depends(cadddr x,v))
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/reduce4/
H A Dpackage4.red158 if (x := atsoc('types,get(base,'base_pckg)))
167 if x := atsoc('types,v) then x := cddr x;
224 if ta := atsoc('types,v)
232 if x := atsoc('types,u) then nconc(ta,cdr x);
235 if x := atsoc('subtyperels,v) then
237 if x := atsoc('ranks,v) then
290 x := atsoc('types,get(curr_pckg!*,'base_pckg));
H A Dform4.red61 else if x := atsoc(u,vars) then {cdr x, u}
89 % if cdar x and (xxxxx := atsoc(arg,vars))
131 else if x := atsoc('generic,type_assoc_list)
141 % or (x := atsoc('generic,type_assoc_list))
183 else if x := atsoc(u,vars)
263 if idp cadr u and (x := atsoc(cadr u,vars)) then
H A Dtower.red91 else if x := atsoc('generic,type_assoc_list) then return cdr x
100 % or (x := atsoc('generic,type_assoc_list))
146 else if x := atsoc('generic,type_assoc_list) then return cdr x
154 % or (x := atsoc('generic,type_assoc_list))
/dports/math/reduce/Reduce-svn5758-src/packages/misc/
H A Dchangevr.red180 %% %else if (x := assoc(u,dsubl!*)) and (x := atsoc(v,cdr x))
212 %% % if x := atsoc(u,dsubl!*) then go to d
218 %% if (x := atsoc(u,wtl!*))
230 %% and (not (x:= atsoc(u,powlis!*))
239 %% and (not (x := atsoc(u,powlis!*)) or not depends(cadddr x,v))
240 %% and (x := atsoc(u, depl!*)) and not(v memq (x:=cdr x)) then <<
253 %% else if !*simpnoncomdf and (w:=atsoc(v, depl!*))
286 %% and (not (x := atsoc(cadr u,powlis!*)) or not depends(cadddr x,v))
339 %% and (not (x:= atsoc(u:=cadr w,powlis!*))
349 %% and (not (x:= atsoc(u,powlis!*)) or not depends(cadddr x,v))
/dports/math/reduce/Reduce-svn5758-src/psl/dist/kernel/ibmrs/
H A Dsupport.sl109 (old-element (atsoc indicator property-list)))
117 (de atsoc (u v)
121 (t (atsoc u (cdr v)))))
/dports/math/reduce/Reduce-svn5758-src/psl/dist/kernel/macg4/
H A Dsupport.sl109 (old-element (atsoc indicator property-list)))
117 (de atsoc (u v)
121 (t (atsoc u (cdr v)))))
/dports/math/reduce/Reduce-svn5758-src/psl/dist/kernel/macg5/
H A Dsupport.sl109 (old-element (atsoc indicator property-list)))
117 (de atsoc (u v)
121 (t (atsoc u (cdr v)))))
/dports/math/reduce/Reduce-svn5758-src/packages/odesolve/
H A Dodepatch.red148 % %else if (x := assoc(u,dsubl!*)) and (x := atsoc(v,cdr x))
180 % % if x := atsoc(u,dsubl!*) then go to d
186 % if (x := atsoc(u,wtl!*))
198 % and (not (x:= atsoc(u,powlis!*))
207 % and (not (x := atsoc(u,powlis!*)) or not depends(cadddr x,v))
208 % and (x := atsoc(u, depl!*)) and not(v memq (x:=cdr x)) then <<
220 % else if !*simpnoncomdf and (w:=atsoc(v, depl!*))
253 % and (not (x := atsoc(cadr u,powlis!*)) or not depends(cadddr x,v))
306 % and (not (x:= atsoc(u:=cadr w,powlis!*))
316 % and (not (x:= atsoc(u,powlis!*)) or not depends(cadddr x,v))
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/smt/
H A Dsmt.red307 w := atsoc(sym, tal);
377 w := atsoc(option, smt_options!*);
387 w := atsoc(option, smt_options!*);
450 w := atsoc(option, smt_options!*);
462 return if (w := atsoc(u, letal)) then cdr w else u;
547 op := if w := atsoc(op, opal) then cdr w else op;
559 op := if w := atsoc(op, opal) then cdr w else op;
/dports/math/reduce/Reduce-svn5758-src/packages/sparse/
H A Dspsvd.red125 <<val2:=atsoc(k,cols2);
135 <<val2:=atsoc(k,cols2);
174 <<val2:=atsoc(k,cols2);
217 <<val2:=atsoc(k,cols2);
227 <<val2:=atsoc(k,cols2);
265 <<val2:=atsoc(k,cols2);
275 <<val2:=atsoc(k,cols2);
510 where val := atsoc(j,r)
/dports/math/reduce/Reduce-svn5758-src/psl/dist/util/macintel/
H A Ddisassemble.sl465 (setq lth (atsoc 'LTH instr))
467 (setq jmem (atsoc 'addr instr))
526 (cond ((atsoc 'op2 instr)
527 (setq pat (list (cdr (atsoc 'op1 instr)) ","
528 (cdr (atsoc 'op2 instr)) )))
529 ((atsoc 'op1 instr)
530 (setq pat (list (cdr (atsoc 'op1 instr)))))
533 (setq mem (atsoc 'addr instr)) (when mem (setq mem (cdr mem)))
/dports/math/reduce/Reduce-svn5758-src/psl/dist/util/win32/
H A Ddisassemble.sl492 (setq lth (atsoc 'LTH instr))
494 (setq jmem (atsoc 'addr instr))
554 (cond ((atsoc 'op2 instr)
555 (setq pat (list (cdr (atsoc 'op1 instr)) ","
556 (cdr (atsoc 'op2 instr)) )))
557 ((atsoc 'op1 instr)
558 (setq pat (list (cdr (atsoc 'op1 instr)))))
561 (setq mem (atsoc 'addr instr)) (when mem (setq mem (cdr mem)))
/dports/math/reduce/Reduce-svn5758-src/psl/dist/util/freeBSD/
H A Ddisassemble.sl492 (setq lth (atsoc 'LTH instr))
494 (setq jmem (atsoc 'addr instr))
554 (cond ((atsoc 'op2 instr)
555 (setq pat (list (cdr (atsoc 'op1 instr)) ","
556 (cdr (atsoc 'op2 instr)) )))
557 ((atsoc 'op1 instr)
558 (setq pat (list (cdr (atsoc 'op1 instr)))))
561 (setq mem (atsoc 'addr instr)) (when mem (setq mem (cdr mem)))
/dports/math/reduce/Reduce-svn5758-src/psl/dist/util/linux/
H A Ddisassemble.sl492 (setq lth (atsoc 'LTH instr))
494 (setq jmem (atsoc 'addr instr))
554 (cond ((atsoc 'op2 instr)
555 (setq pat (list (cdr (atsoc 'op1 instr)) ","
556 (cdr (atsoc 'op2 instr)) )))
557 ((atsoc 'op1 instr)
558 (setq pat (list (cdr (atsoc 'op1 instr)))))
561 (setq mem (atsoc 'addr instr)) (when mem (setq mem (cdr mem)))

12345678910>>...15