Changeset 6787:92d5bf660ff8

Timestamp:

10/06/07 23:57:51 (6 years ago)

Author:

William Stein <wstein@…>

Branch:

default

Message:

First version of SageTex?.

Location:

sage

Files:

• schemes/elliptic_curves/ell_generic.py (modified) (1 diff)
• server/notebook/all.py (modified) (1 diff)
• server/notebook/css.py (modified) (1 diff)
• server/notebook/docHTMLProcessor.py (modified) (1 diff)
• server/notebook/run_notebook.py (modified) (4 diffs)
• server/notebook/sagetex.py (added)
• server/notebook/twist.py (modified) (4 diffs)

sage/schemes/elliptic_curves/ell_generic.py

@@ -794 +794 @@
     def scale_curve(self, u):
         """
-        Transforms the elliptic curve using scale factor u, i.e. multiplies c_i by u^i.
+        Transforms the elliptic curve using scale factor $u$,
+        i.e. multiplies $c_i$ by $u^i$.
         
         Returns the transformed curve.

sage/server/notebook/all.py

@@ -13 +13 @@
 from notebook_object import notebook
 
+
+from sagetex import sagetex

sage/server/notebook/css.py

@@ -852 +852 @@
   background-color: white;
   border:1px solid #aaa;
-    top: 12em; 
+    top: 8em; 
     bottom: 0ex;
     right: 0ex;

sage/server/notebook/docHTMLProcessor.py

@@ -234 +234 @@
             self.unknown_endtag('pre')     
 
+
     def start_span(self, attrs):
         count = 0

sage/server/notebook/run_notebook.py

@@ -56 +56 @@
              timeout     = 0,
 
-             open_viewer = True):
+             open_viewer = True,
+
+             sagetex_path = "",
+             start_path = ""):
     if not os.path.exists(directory):
         os.makedirs(directory)
@@ -127 +130 @@
 
         if open_viewer:
-            open_page = "from sage.server.misc import open_page; open_page('%s', %s, %s, '%s')"%(address, port, secure, '')
+            open_page = "from sage.server.misc import open_page; open_page('%s', %s, %s, '%s')"%(address, port, secure, start_path)
         else:
             open_page = ''
@@ -142 +145 @@
 import sage.server.notebook.twist as twist
 twist.notebook = notebook.load_notebook(%s)
+twist.SAGETEX_PATH = "%s"
 twist.OPEN_MODE = %s
 twist.SID_COOKIE = str(hash("%s"))
@@ -180 +184 @@
 %s
 s.setServiceParent(application)
-"""%(notebook_opts, not secure, os.path.abspath(directory), strport, open_page))
+"""%(notebook_opts, sagetex_path,
+     not secure, os.path.abspath(directory), strport, open_page))
 
 

sage/server/notebook/twist.py

@@ -165 +165 @@
         W = doc_worksheet()
         W.edit_save(doc_page)
-        s = notebook.html(worksheet_filename = W.filename(),  username = self.username)
+        s = notebook.html(worksheet_filename = W.filename(),
+                          username = self.username)
         return http.Response(stream=s)
         
@@ -180 +181 @@
 
 DOC = os.path.abspath(os.environ['SAGE_ROOT'] + '/doc/')
+
 class DocStatic(resource.Resource):
     addSlash = True    
@@ -214 +216 @@
         if name == "live":
             return DocLive(username = self.username)
-
+        
+    
+############################
+# SageTex browser
+############################
+SAGETEX_PATH = ""
+
+
+class SageTex(resource.Resource):
+    def __init__(self, username):
+        self.username = username
+    
+    def render(self, ctx):
+        s = notebook.html_doc(username = self.username)
+        return http.Response(stream=s)
+
+    def childFactory(self, request, name):
+        return WorksheetFile('%s/%s'%(SAGETEX_PATH,name),
+                             username = self.username)
+        
 
 ############################
@@ -1675 +1696 @@
     # better call userchildFactory it in the base class (Toplevel)!
     userchild_doc = Doc
+    userchild_sagetex = SageTex
     userchild_help = Help
     userchild_history = History