OpenXM/src/kan96xx/Kan/dr.sm1 - diff

Return to dr.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Kan

Diff for /OpenXM/src/kan96xx/Kan/dr.sm1 between version 1.53 and 1.54

-version 1.53, 2006/02/04 02:44:39
+version 1.54, 2013/01/26 10:48:26
 Line 1
 Line 1
 Line 1
- % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.52 2005/11/21 09:12:22 takayama Exp $
+ % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.53 2006/02/04 02:44:39 takayama Exp $
  %% dr.sm1 (Define Ring) 1994/9/25, 26
  %% This file is error clean.
 Line 4527  $ [ff ff] fromVectors :: $
 Line 4527  $ [ff ff] fromVectors :: $
 Line 4527  $ [ff ff] fromVectors :: $
    arg1
  } def
+ [(univ2poly)
+ [(list univ2poly list2)
+  (Change universal numbers in list to an element of a ring of polynomials)
+  (defined by other elements in list. If there is no polynomial element,)
+  (the current ring is used.)
+ ]] putUsages
+ /univ2poly {
+   /arg1 set
+   [/aa /rg /ag /ans] pushVariables
+   [
+     arg1 /aa set
+     [(CurrentRingp)] system_variable /rg set
+     aa getRing /ag set
+     ag tag 0 { } {
+       ag ring_def
+     } ifelse
+     aa univ2poly.aux /ans set
+     rg ring_def
+     ans /arg1 set
+   ] pop
+   popVariables
+   arg1
+ } def
+ /univ2poly.aux {
+   /arg1 set
+   [/aa /ans] pushVariables
+   [
+     arg1 /aa set
+     aa getRing
+     aa tag 6 eq {
+       aa { univ2poly.aux} map /ans set
+     }{
+       aa tag 15 eq, aa tag 1 eq, or { aa toString . /ans set } {
+         aa /ans set
+       } ifelse
+     } ifelse
+     ans /arg1 set
+   ] pop
+   popVariables
+   arg1
+ } def
  ;

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>