[sage-support] Re: jsmath in sage-4.1
John The pdf file at http://sites.google.com/site/mislwagro/Home/eg_jsmath.3.4.pdf?attredirects=0 is the output from sage-3.4 Thanks for the prompt response! Elizabeth On Aug 3, 10:12 pm, John H Palmieri jhpalmier...@gmail.com wrote: On Aug 3, 9:39 pm, Elizabeth Yip el...@comcast.net wrote: Hello, The line jsmath(cos(2\phi)+latex(1/x)) in the sage-4.1 notebook produces different result from the sage-3.4 notebook. The result in sage-3.4 is what I want. Okay, in the latest version, I see cos(2\phi)\frac{1}{x} I don't have a copy of Sage 3.4 on my computer, so what happened there? John --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: jsmath in sage-4.1
Hi Elizabeth, On Tue, Aug 4, 2009 at 4:34 PM, Elizabeth Yipel...@comcast.net wrote: John The pdf file at http://sites.google.com/site/mislwagro/Home/eg_jsmath.3.4.pdf?attredirects=0 is the output from sage-3.4 I went to that URL and got a Site not found error. -- Regards Minh Van Nguyen --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: jsmath in sage-4.1
Sorry !! Let me try again !! http://sites.google.com/site/mislwagroup/Home/eg_jsmath.3.4.pdf?attredirects=0 Elizabeth On Aug 3, 11:37 pm, Minh Nguyen nguyenmi...@gmail.com wrote: Hi Elizabeth, On Tue, Aug 4, 2009 at 4:34 PM, Elizabeth Yipel...@comcast.net wrote: John The pdf file at http://sites.google.com/site/mislwagro/Home/eg_jsmath.3.4.pdf?attredi... is the output from sage-3.4 I went to that URL and got a Site not found error. -- Regards Minh Van Nguyen --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: Solving multivariate polynomial systems over GF(2)
Hi! I think the problem is quite hard using Gröbner bases, I also talked to Gregory Bard about the topic in Sage days 10. Nevertheless it is interesting. Did you convert the polynomial system to cnf using Martins converter. Does it also solve the bigger problem, you gave me? Can you please give me some code snippet for the conversion? I'd like to have some look into it. I think Gregory said, the full problem is resistant against all general sort of tricks and algorithms. From what I understand about the algorithm, it is obvious, that you can fix some ones or at least one, as it is highly symmetric. Michael On 3 Aug., 22:12, Michael Brickenstein brickenst...@mfo.de wrote: Hi! I can't sleep, when fearing PolyBoRi could calculate wrong: Actually, it's probably just about the wrapper. My CVS, which is very much the same as 0.6.3 gives me: l=a111,a112,a121,a122,b111,b112,b211,b212,c111,c112.split(,) In [2]:declare_ring(l, globals()) Out[2]:polybori.dynamic.PyPolyBoRi.Ring object at 0xb02578 In [3]:ideal=[a111 * b111 * c111 + a112 * b112 * c112 + 1 , a111 * b211 * c111 + ...: a112 * b212 * c112 + 0 , a121 * b111 * c111 + a122 * b112 * c112 , ...: a121 * b211 * c111 + a122 * b212 * c112 + 1] In [4]:grogroebner/CVS groebner/libgroebner.a groebner/ src groebner/doc groebner/libgroebner.so groebner_basis In [4]:groebner_basis(ideal) Out[4]: [b211*b212 + b211 + b212 + 1, b112*b212 + b112 + b212 + 1, b111*b212 + b112*b211 + 1, b111*b211 + b111 + b211 + 1, b111*b112 + b111 + b112 + 1, a122 + b111, a121 + b112, a112 + b211, a111 + b212, c111 + 1, c112 + 1] Tomorrow, I'll have a look at the bigger system, if there are some tweaks. Can you send it as proper attachment it to me? What kind of application is it? Michael On 3 Aug., 21:54, lesshaste drr...@gmail.com wrote: Hi, On Aug 3, 7:39 pm, Martin Albrecht m...@informatik.uni-bremen.de wrote: The problem in my case is really one of scale. I have put a larger example at the bottom of this message. When I try to find the groebner basis in sage 4.1 (which seems to use polybori-0.5rc.p8) the memory usage goes over 1.6GB and then sage crashes. It is possible that it just isn't realistic to solve it using Groebner Bases. However, I should say that when reformulated as a SAT solving problem, the standard off the shelf minisat 2.0 code can solve it in 0.04 seconds. This is despite the fact that minisat only takes CNF as the input which means that all the structure of the problem has been removed before it sees it. Hi Raphael, note that Gröbner basis methods will always return a complete algebraic description of the solution set while SAT solving approaches terminate once *one* solution is found. Thus if there are many solutions they have an advantage. You can try to guess some variables in order to improve the efficiency of the Gröbner basis based methods. You are quite right of course. My example wasn't fair as in this case there are in fact a really large number of solutions. However ( :) ) attached below is another slightly smaller example where there is in fact no solution, making it a fairer comparison I hope. It takes minisat 2 mins 22 seconds on my computer to work that out. Using polybori in sage as above takes 700-800MB of RAM and doesn't terminate in the hour or so I gave it. I only mention this in case anyone working on polybori is interested in specific examples. Raphael attached system of polys with no solution --- R.a111,a112,a113,a114,a115,a116,a121,a122,a123,a124,a125,a126,a211,a212,a2 13,a214,a215,a216,a221,a222,a223,a224,a225,a226,b111,b112,b113,b114,b115,b1 16,b121,b122,b123,b124,b125,b126,b211,b212,b213,b214,b215,b216,b221,b222,b2 23,b224,b225,b226,c111,c112,c113,c114,c115,c116,c121,c122,c123,c124,c125,c1 26,c211,c212,c213,c214,c215,c216,c221,c222,c223,c224,c225,c226 = BooleanPolynomialRing(order='lex') I = ( a111 * b111 * c111 + a112 * b112 * c112 + a113 * b113 * c113 + a114 * b114 * c114 + a115 * b115 * c115 + a116 * b116 * c116 -1, a111 * b111 * c121 + a112 * b112 * c122 + a113 * b113 * c123 + a114 * b114 * c124 + a115 * b115 * c125 + a116 * b116 * c126 , a111 * b111 * c211 + a112 * b112 * c212 + a113 * b113 * c213 + a114 * b114 * c214 + a115 * b115 * c215 + a116 * b116 * c216 , a111 * b111 * c221 + a112 * b112 * c222 + a113 * b113 * c223 + a114 * b114 * c224 + a115 * b115 * c225 + a116 * b116 * c226 , a111 * b121 * c111 + a112 * b122 * c112 + a113 * b123 * c113 + a114 * b124 * c114 + a115 * b125 * c115 + a116 * b126 * c116 , a111 * b121 * c121 + a112 * b122 * c122 + a113 * b123 * c123 + a114 * b124 * c124 + a115 * b125 * c125 + a116 * b126 * c126 , a111 * b121 * c211 + a112 * b122 * c212 + a113 * b123 * c213 + a114 * b124 * c214 + a115 * b125 * c215 + a116 * b126 * c216 -1, a111 * b121 * c221 + a112 * b122 * c222 +
[sage-support] matrix term Orderings
Hi! How do I construct matrix orderings in Sage? I had a look at PolynomialRing and TermOrder and did not find anything. Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: matrix term Orderings
Hi Michael, On Aug 4, 9:54 am, Michael Brickenstein brickenst...@mfo.de wrote: Hi! How do I construct matrix orderings in Sage? I had a look at PolynomialRing and TermOrder and did not find anything. I think I remember being told that it is not wrapped in libSingular. This is one of the two reasons why I work with the Singular pexpect interface. The other reason is non-commutative rings. I needed both. Cheers, Simon --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: error loading the sage libraries (setting up public Sage server) notebook directory outside of .sage don't work
William Stein пишет: On Mon, Aug 3, 2009 at 9:26 AM, Serge A. Salamankasalsa-...@tut.by wrote: Dear support, I'm having a bit of a problem with setting up Sage public server with several pool accounts. Everything is done according to recommendations on http://wiki.sagemath.org/DanDrake/JustEnoughSageServer except that I have to set up 750 permission for the group of sageusers on /home/sageadm (chmod 750 /home/sageadm ) Otherwise the notebook cells show error Permission denied So I have created dir /home/sageadm/sagenbfiles for notebook server and setup 2775 permission. The server is run by the user sageadm with pool accounts of several others with no password by ssh. I can sign up on the server and the interface but I can't execute simple code 2-1 or anything other in the notebook cell. It says: Traceback (most recent call last): 2-1 NameError: name 'os' is not defined There was an error loading the sage libraries. Try starting from the command line to see what the error is. Can you manually ssh to the pool accounts and type sage to run Sage? The pool accounts *must* be able to run Sage by just typing sage. William I can ssh to pool accounts and run sage with no problem. Still no result: Traceback (most recent call last):2-1 NameError: name 'os' is not defined THERE WAS AN ERROR LOADING THE SAGE LIBRARIES. Try starting Sage from the command line to see what the error is. # I tried to evaluate .py file from the command line under pool account: [sage...@sagenb ~]$ cat /home/sageadm/sagenbfiles/worksheets/salsa/1/code/8.py # -*- coding: utf_8 -*- from __future__ import with_statement print b12 os.chdir(/home/sageadm/sagenbfiles/worksheets/salsa/1/cells/11) sage.server.notebook.interact.SAGE_CELL_ID=11 print _support_.syseval(sh, ur'''ls''', '/home/sageadm/sagenbfiles/worksheets/salsa/1/cells/11') print e12 [sage...@sagenb ~]$ [sage...@sagenb ~]$ sage -python /home/sageadm/sagenbfiles/worksheets/salsa/1/code/8.py b12 Traceback (most recent call last): File /home/sageadm/sagenbfiles/worksheets/salsa/1/code/8.py, line 4, in module os.chdir(/home/sageadm/sagenbfiles/worksheets/salsa/1/cells/11) NameError: name 'os' is not defined [sage...@sagenb ~]$ [sage...@sagenb ~]$ #these are env. vars (some of them most important): [sage...@sagenb ~]$ env HOSTNAME=sagenb.sageworldmath.org SHELL=/bin/bash USER=sagenb1 PATH=/usr/kerberos/bin:/usr/local/bin:/bin:/usr/bin:/home/sagenb1/bin PWD=/home/sagenb1 HOME=/home/sagenb1 LOGNAME=sagenb1 [sage...@sagenb ~]$ [sage...@sagenb ~]$ #not sure but seems to be the wrong way. group should have write permission: [sage...@sagenb ~]$ ll /home/sageadm/sagenbfiles/worksheets/salsa/1/code/8.py -rw-r--r-- 1 sageadm sageusers 298 Aug 4 12:16 /home/sageadm/sagenbfiles/worksheets/salsa/1/code/8.py [sage...@sagenb ~]$ Something might have changed since Dan Drake wrote his notes on the server set up: http://wiki.sagemath.org/DanDrake/JustEnoughSageServer I'm sorry to bother with such problems. Just give your ideas here. # Serge well, you can check out yourself at https://sagenb.sageworldmath.org:8000/ The point is when I run server with default dir in .sage and no pool accounts, it works good. But when I point to the dir outside of the /home/sageadm/.sage it shows error. Any ideas ? I use Sage-4.1 (latest download) and Scientific Linux 5.3 # Serge --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: matrix term Orderings
On Tuesday 04 August 2009, Michael Brickenstein wrote: Hi! How do I construct matrix orderings in Sage? I had a look at PolynomialRing and TermOrder and did not find anything. Unfortunately: NotImplementedError. Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://www.informatik.uni-bremen.de/~malb _jab: martinralbre...@jabber.ccc.de --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: accessing sage notebook with android phone
Pierre pierre.guil...@gmail.com writes: Say, you want to plot x -- x^2*sin(1/x) on your android phone, what do you do ? There's an android app called handycalc that can do basic things like this. There's also an rpn calculator, but I don't think it can do plots. There may be other apps that can. One other thing with the android browser is that it doesn't have a java plug-in, so you can't do 3d plots in the sage notebook. Hopefully this is something that will change. Dan --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: accessing sage notebook with android phone
Rado rki...@gmail.com writes: Iphone has the same problem that its onscreen keyboard has no tab key The android does allow you to enter a tab (via Alt-Q), but it just inserts a tab. Dan --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: error loading the sage libraries (setting up public Sage server) notebook directory outside of .sage don't work
On Tue, Aug 4, 2009 at 2:42 AM, Serge A. Salamankasalsa-...@tut.by wrote: William Stein пишет: On Mon, Aug 3, 2009 at 9:26 AM, Serge A. Salamankasalsa-...@tut.by wrote: Dear support, I'm having a bit of a problem with setting up Sage public server with several pool accounts. Everything is done according to recommendations on http://wiki.sagemath.org/DanDrake/JustEnoughSageServer except that I have to set up 750 permission for the group of sageusers on /home/sageadm (chmod 750 /home/sageadm ) Otherwise the notebook cells show error Permission denied So I have created dir /home/sageadm/sagenbfiles for notebook server and setup 2775 permission. The server is run by the user sageadm with pool accounts of several others with no password by ssh. I can sign up on the server and the interface but I can't execute simple code 2-1 or anything other in the notebook cell. It says: Traceback (most recent call last): 2-1 NameError: name 'os' is not defined There was an error loading the sage libraries. Try starting from the command line to see what the error is. Can you manually ssh to the pool accounts and type sage to run Sage? The pool accounts *must* be able to run Sage by just typing sage. William I can ssh to pool accounts and run sage with no problem. Still no result: Traceback (most recent call last): 2-1 NameError: name 'os' is not defined THERE WAS AN ERROR LOADING THE SAGE LIBRARIES. Try starting Sage from the command line to see what the error is. # I tried to evaluate .py file from the command line under pool account: [sage...@sagenb ~]$ cat /home/sageadm/sagenbfiles/worksheets/salsa/1/code/8.py # -*- coding: utf_8 -*- from __future__ import with_statement print b12 os.chdir(/home/sageadm/sagenbfiles/worksheets/salsa/1/cells/11) sage.server.notebook.interact.SAGE_CELL_ID=11 print _support_.syseval(sh, ur'''ls''', '/home/sageadm/sagenbfiles/worksheets/salsa/1/cells/11') print e12 [sage...@sagenb ~]$ [sage...@sagenb ~]$ sage -python /home/sageadm/sagenbfiles/worksheets/salsa/1/code/8.py b12 Traceback (most recent call last): File /home/sageadm/sagenbfiles/worksheets/salsa/1/code/8.py, line 4, in module os.chdir(/home/sageadm/sagenbfiles/worksheets/salsa/1/cells/11) NameError: name 'os' is not defined The above looks like a pretty good hint. If you can't do sage -python from the server pool accounts, nothing is going to work. You need to get to the bottom of why sage -python doesn't work. William --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: accessing sage notebook with android phone
On Tue, Aug 4, 2009 at 6:54 AM, Dan Christensen j...@uwo.ca wrote: Rado rki...@gmail.com writes: Iphone has the same problem that its onscreen keyboard has no tab key The android does allow you to enter a tab (via Alt-Q), but it just inserts a tab. Dan I think the idea of adding a complete button or link or something somewhere is a very good, since it's useful for the iphone/android, but would also be useful in other situations. William --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] floating point solve
I need some help with a solve function that gives fp solutions to all types of equations. Possibly allowing an interval. I have tried def FPSolver2a(val1,val2,val3): var('val1,val2,val3') a2=SR(val1) q1=find_root(xy,p,q) return q1 I need to put it into a python script, so no pre-parser. Thanks --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---