share/affine/sheafb.lisp

11 (defun iblowup (zopen i firstk &aux ichart pss qss ineq answ)
12   (setq ichart   (ichart i firstk (zopen-dim zopen)))
14 			   (zopen-coord zopen)))
17 		 (zopen-inv zopen)
19   (setq ineq (function-numerator (apply-rmap (zopen-inv ichart) (zopen-inequality zopen))))
20   (setq answ (zl-copy-structure zopen zopen- coord pss inv qss inequality ineq))
404 	     (iassert (and (eq (car (second answ)) 'zopen)))
606 		(iassert (eq (car tem) 'zopen))
941 (defun check-zopen-inv (zopen &aux ma)
942  (setq ma   (compose-rmap (zopen-inv zopen) (zopen-coord zopen)))
967 (defun normalize-zopen (zopen eqns &key inequality data &aux op answ)
969   (cond ((null inequality) (setq inequality (zopen-inequality zopen))))
970   (setq op (make-normal-zopen eqns (zopen-dim zopen) inequality ))
971   (setq answ (copy-list zopen))
972   (set-slots answ zopen-  coord (compose-rmap (zopen-coord op) (zopen-coord zopen))
973 	      inv (compose-rmap (zopen-inv zopen) (zopen-inv op))
1117 (defun open-refinement (zopen gmprep-poly m  &aux  mzopens next-open cofs)
1120   (let* ((gg (zopen-inequality zopen))
1122     (check-arg zopen (eq (car zopen) 'zopen) "a zopen")
1130 	       (zl-copy-structure zopen
1132 				  coord (zopen-coord zopen)
1133 				  inv (zopen-inv zopen))))
1136 	  (zl-copy-structure zopen zopen- inequality  (nplcm gg
1436 	      (not (member form '(ldata s-var zopens rmap zopen pre-ldata-sheaves
1757   (check-arg open (eq (car open) 'zopen) "an open")
1874 (defun add-zopen-history (zopen n)
1875   (cond ((>= (length zopen) 5)
1876 	 (zl-copy-structure zopen zopen- history (cons n (zopen-history zopen))))
1877 	(t (setq zopen (nconc zopen (copy-list (list nil) )))
1878 	   (add-zopen-history zopen n))))