Changeset 1667822 in git for modules/openmathserver/objects.py

Timestamp:

Jun 15, 2005, 1:50:16 PM (18 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'a7324b6e0b44a1a8ed3fa4d9ca3e2ff210ddd52c')

Children:

01cd17fd67cfda8867350bb5007624dde10be224

Parents:

04f6a4e219c5180c44ff638afd7e63cc8ffa3699

Message:

*bricken: refactoring


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

File:

• modules/openmathserver/objects.py (modified) (5 diffs)

modules/openmathserver/objects.py

@@ -105 +105 @@
         closing="".join(["</"+self.XMLtag+">"])
         return "".join([opening,body,closing])
-class OMvar(OMObjectBase):
+class OMVar(OMObjectBase):
     def __init__(self,name):
-        super(OMvar,self).__init__()
+        super(OMVar,self).__init__()
         self.name=name
     def evaluate(self,context):
@@ -142 +142 @@
         raise UnsupportedOperationError
         
-class OMsymbol(OMObjectBase):
+class OMSymbol(OMObjectBase):
     def __init__(self,name,cd=None):
-        super(OMsymbol,self).__init__()
+        super(OMSymbol,self).__init__()
         self.cd=cd
         self.name=name
@@ -206 +206 @@
     def getXMLattributes(self):
         return [XMLattribute("dec",str(self.value))]
-class OMref(OMObjectBase):
+class OMRef(OMObjectBase):
     def __init__(self, ref):
         self.ref=ref
@@ -225 +225 @@
     context["x"]=OMint(1)
 
-    x=OMvar("x")
-
-    y=OMvar("y")
+    x=OMVar("x")
+
+    y=OMVar("y")
 
     print context.evaluate(x)
     print context.evaluate(y)
-    firstArg=OMbinding(lambdasym,[OMvar("x"), OMvar("y")], OMvar("x"))
+    firstArg=OMbinding(lambdasym,[OMVar("x"), OMVar("y")], OMVar("x"))
     #print context.evaluate(firstArg)
     application=OMapplication(firstArg, [x,y])
@@ -242 +242 @@
     #application=OMapplication(arith1.plussym,[x])
     #application=OMapplication(arith1.plussym,[x,x])
-    application=OMapplication(OMsymbol("plus",arith1.content),[x,x])
+    application=OMapplication(OMSymbol("plus",arith1.content),[x,x])
     
     print context.evaluate(application)
-    application=OMapplication(OMsymbol("plus",arith1.content),[x,x,x])
+    application=OMapplication(OMSymbol("plus",arith1.content),[x,x,x])
     
     print context.evaluate(application)