Changeset 01e2df in git for modules

Timestamp:

Oct 18, 2005, 3:03:37 PM (19 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

740d7f07620d0ff7edf1cbd7b4e2fa59e20ee5a4

Parents:

8176269a9eb0610a89bd09c4e559ce01fb0d1957

Message:

*bricken: some work


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

Location:

modules/openmathserver

Files:

• CAS/kuchenessen.py (modified) (1 diff)
• CD/gametheory.py (added)
• context.py (modified) (2 diffs)
• kuchenessen_demo.py (added)
• objects.py (modified) (5 diffs)
• omxmlreader.py (modified) (1 diff)
• openmathhashunger.py (added)

modules/openmathserver/CAS/kuchenessen.py

@@ -318 +318 @@
     def negative(self):
         return kuchen([(m[1],m[0]) for m in self.gebiete])
+
+
+try:
+        from objects import *
+        import CD.gametheory
+        def decode_kuchen_OM(kOM):
+                assert isinstance(kOM,OMApply)
+                sizes=[a.getValue() for a in kOM.args]
+                regions=[(sizes[i],sizes[i+1]) for i in xrange(0, len(sizes),2)]
+                return kuchen(regions)
+        def left_wins_func(context, kuchen):
+                kuchen=decode_kuchen_OM(kuchen)
+                erg=kuchen.greater_equal_zero()
+                if erg:
+                        return OMint(1)
+                else:
+                        return OMint(0)
+        def install_kuchenessen_plugin():
+                CD.gametheory.implementation.implement("left_wins", left_wins_func)
+except:
+        print "no openmath library available"
+
+
+        

modules/openmathserver/context.py

@@ -17 +17 @@
         self.implementations[implementation.cd]=implementation
     def lookupImplementation(self, oms):
+        #print self.implementations
         try:
             return self.implementations[oms.cd][oms]
@@ -70 +71 @@
             return func(self,*args)
         except:
+            from traceback import print_exc
+            print_exc()
             raise EvaluationFailedError
     def XMLEncodeBody(self,body):

modules/openmathserver/objects.py

@@ -6 +6 @@
 from xml.sax.xmlreader import AttributesImpl as attr
 import base64
+raiseException=True
 #TODO: OMOBJ, OME, OMATTR
 #from cd import *
@@ -146 +147 @@
     def XMLSAXEncode(self, context, generator):
         #works not for attp
+        #print "attr", self.XMLAttributes
         generator.startElement(self.XMLtag, attr(self.XMLAttributes))
         for c in self.children:
@@ -189 +191 @@
         eargs = [context.evaluate(a) for a in self.args]
         if callable(efunc):
-            try:
-                return context.apply(efunc, eargs)
-            except EvaluationFailedError, NotImplementedError:
-                return OMApply(efunc, eargs)
+                if raiseException:
+                        return context.apply(efunc,eargs)
+                else:
+                                try:
+                                        return context.apply(efunc, eargs)
+                                except EvaluationFailedError, NotImplementedError:
+                                        return OMApply(efunc, eargs)
                 #return self
         else:
+            #print efunc
             return OMApply(efunc, eargs)
     XMLtag="OMA"
@@ -267 +273 @@
         return "OMfloat("+repr(self.value)+")"
     XMLtag = "OMF"
+    
     def getXMLAttributes(self):
         return {"dec":str(self.value)}
@@ -362 +369 @@
     print i.body
     print i.XMLEncode(context)
+    print context.XMLEncodeObject(OMSymbol("plus", arith1.content))
     #i.body="dshj"
    

modules/openmathserver/omxmlreader.py

@@ -23 +23 @@
     root=doc.lastChild
     return root
+
+def readStream(input_stream):
+    docIS=DOMInputSource()
+    docIS.byteStream=input_stream
+    doc= DOMBuilder().parse(docIS)
     
+    root=doc.lastChild
+    return root
 def  get_text_in_children(n):
     t = ""