[sage-support] showing the answer of solve in the notebook.
If, in the notebook one writes:
a,b,c,d,n=var('a b c d n')
solve([a*d-b*c==1,a*d/(a*d - b*c) - c*(a*n + b)/(a*d - b*c)==1,c*d/
(a*d - b*c) - c*(c*n + d)/(a*d - b*c)==0, a*(c*n + d)/(a*d - b*c) -b*c/
(a*d - b*c)==1],a,b,c,d)
sage does not return anything.
if one does, instead
a,b,c,d,n=var('a b c d n')
r=solve([a*d-b*c==1,a*d/(a*d - b*c) - c*(a*n + b)/(a*d - b*c)==1,c*d/
(a*d - b*c) - c*(c*n + d)/(a*d - b*c)==0, a*(c*n + d)/(a*d - b*c) -b*c/
(a*d - b*c)==1],a,b,c,d)
print(r) #show(r) also works
Then sage does return
[
[a == 1/r14, b == r13, c == 0, d == r14]
]
(The answer has two degrees of freedom...)
This behavior is different than
solve([a*x+b*n==c,c*x+d*n==e],x,n)
which does display the answer without first assigning and then showing
the answer.
In the console, sage has no problem in giving the answer for both.
Thanks, and I think SAGE is a wonderful program.
-Adrian.
--~--~-~--~~~---~--~~
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: Which Version of Sage to Use?
On Feb 4, 7:26 pm, mrotsliah wrote: > ok, I found the source code, I used tar to open it, and I used make. > It ran its course and finished. Sage starts to run, but then it > outputs the following and then quits: > > -- > | Sage Version 3.2.3, Release Date: 2009-01-05 | > | Type notebook() for the GUI, and license() for information. | > -- > /usr/bin/env: sage.bin: No such file or directory > /usr/local/sage-3.2.3/local/bin/sage-sage: /usr/local/sage-3.2.3/local/ > bin/sage-ipython: sage.bin: bad interpreter: No such file or directory > > What is it telling me, and what can I do? Sage did not finish building, at least not without producing an error. What does the end of the log look like? > thanks Cheers, 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: Which Version of Sage to Use?
ok, I found the source code, I used tar to open it, and I used make. It ran its course and finished. Sage starts to run, but then it outputs the following and then quits: -- | Sage Version 3.2.3, Release Date: 2009-01-05 | | Type notebook() for the GUI, and license() for information.| -- /usr/bin/env: sage.bin: No such file or directory /usr/local/sage-3.2.3/local/bin/sage-sage: /usr/local/sage-3.2.3/local/ bin/sage-ipython: sage.bin: bad interpreter: No such file or directory What is it telling me, and what can I do? thanks On Feb 4, 4:26 pm, mabshoff wrote: > On Feb 4, 1:19 pm, mrotsliah wrote: > > Hi, > > > I'm Running > > > SuSE Linux 9.0 (i586) > > VERSION = 9.0 > > SuSE 9.0 is quite old. It was actually the last SuSE release I ran and > the laptop I used it with has since long been retired :) > > > with architecture i686. So, I'm guessing 32bit, but not tottaly > > sure. I looked at the web page > > >http://www.sagemath.org/bin/linux/ > > > and under 32bit I tried > > > sage-3.2.3-opensuse-32bit-intel_xeon-i686-Linux.tar.gz > > That is an OpenSUSE 11.1 binary and won't work. > > > So, I installing it, and Sage does run, but it says > > > "This Sage install was built on a machine that supports > > instructions that are not available on this computer. Sage will > > likely fail with ILLEGAL INSTRUCTION errors! The following processor > > flags were on the build machine but are not on this computer: > > > sse4_1 pni " > > > Then there is a lot of programming code after it. The program prompt > > doesn't work right. Sage doesn't even recognize stuff like > > RationalField() or QQ. > > > Any suggestions? > > Unfortunately you will have to build from sources since we do not have > access to any SUSE 9.x image. It is also no longer supported, so it is > very unlikely that we will build binaries for it in the future. If > somebody else has a build for such a box you could use that, but I am > not aware of anybody running SUSE 9.0. > > Cheers, > > 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: does Sage work for finfing Groebner basis for a very large system?
On Wednesday 04 February 2009, Adela wrote: > I need to solve a big system of nonlinear equations(it consists of 114 > equations, with 61 indeterminates, all of them can be only 0 and 1 and > I work modulo 2). > I solve it using Groebner bases. So, my problem coms to finding the > reduced Groebner base for an ideal generated by 114 polynomials. As mentioned earlier, you probably want to work in the boolean polynomial ring sage: B. = BooleanPolynomialRing(5, order='lex') sage: I = B.ideal([a*b + a*c + c*e + e + 1, b*d + c*e + c + d + 1, a*b + a*c + c + e + 1, a + b*c + c*d + c + d*e, a*b + a*e + c*d + c + 1] sage: I.groebner_basis() [a + 1, b, d + 1, e + 1] > Can you tell me if Sage can face it, or approximatively how long would > take to do that? Well, the worst case scenario is O(2^61) and the best case O(61^3) (a linear system ;)). That's as much as one can say a priori. Since your system is overdefined I'd guess you should do better than O(2^61) but likely only an experiment can tell. Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=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] does Sage work for finfing Groebner basis for a very large system?
I need to solve a big system of nonlinear equations(it consists of 114 equations, with 61 indeterminates, all of them can be only 0 and 1 and I work modulo 2). I solve it using Groebner bases. So, my problem coms to finding the reduced Groebner base for an ideal generated by 114 polynomials. Can you tell me if Sage can face it, or approximatively how long would take to do that? I'm afraid only of a crush; I can wait long, it's not so important, if in the end I have a result. Thank you! --~--~-~--~~~---~--~~ 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: Which Version of Sage to Use?
On Feb 4, 1:19 pm, mrotsliah wrote: Hi, > I'm Running > > SuSE Linux 9.0 (i586) > VERSION = 9.0 SuSE 9.0 is quite old. It was actually the last SuSE release I ran and the laptop I used it with has since long been retired :) > with architecture i686. So, I'm guessing 32bit, but not tottaly > sure. I looked at the web page > > http://www.sagemath.org/bin/linux/ > > and under 32bit I tried > > sage-3.2.3-opensuse-32bit-intel_xeon-i686-Linux.tar.gz That is an OpenSUSE 11.1 binary and won't work. > So, I installing it, and Sage does run, but it says > > "This Sage install was built on a machine that supports > instructions that are not available on this computer. Sage will > likely fail with ILLEGAL INSTRUCTION errors! The following processor > flags were on the build machine but are not on this computer: > > sse4_1 pni " > > Then there is a lot of programming code after it. The program prompt > doesn't work right. Sage doesn't even recognize stuff like > RationalField() or QQ. > > Any suggestions? Unfortunately you will have to build from sources since we do not have access to any SUSE 9.x image. It is also no longer supported, so it is very unlikely that we will build binaries for it in the future. If somebody else has a build for such a box you could use that, but I am not aware of anybody running SUSE 9.0. Cheers, 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] Which Version of Sage to Use?
I'm Running SuSE Linux 9.0 (i586) VERSION = 9.0 with architecture i686. So, I'm guessing 32bit, but not tottaly sure. I looked at the web page http://www.sagemath.org/bin/linux/ and under 32bit I tried sage-3.2.3-opensuse-32bit-intel_xeon-i686-Linux.tar.gz So, I installing it, and Sage does run, but it says "This Sage install was built on a machine that supports instructions that are not available on this computer. Sage will likely fail with ILLEGAL INSTRUCTION errors! The following processor flags were on the build machine but are not on this computer: sse4_1 pni " Then there is a lot of programming code after it. The program prompt doesn't work right. Sage doesn't even recognize stuff like RationalField() or QQ. Any suggestions? --~--~-~--~~~---~--~~ 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: What is URL for remote sage access?
On Feb 4, 1:00 pm, "rvaug...@gmail.com" wrote: Hi Richard, > I installed sage locally on a Fedora Core 10 machine. > > My user wants to access this installation remotely. > When he runs sage on his (Mac) laptop, > it tells him to open his browser tohttp://localhost:8000. > > What is the URL? Is it port 8000? > The machine name is strings358. > I tried "http://strings358:8000";, and the fully-qualified > "http://strings358.rutgers.edu:8000";. > In both cases, not found. > > Also ran "notebook()" on the local sage machine; > no help there, either. Per default the notebook server only listens to localhost, so when starting the notebook you need to tell it to also listen to strings358. Typing "notebook?" in Sage will give you all the details including examples: Start the Sage Notebook server. More documentation is available in the Sage installation guide, in the "Running the SAGE Notebook Securely" chapter, and at http://wiki.sagemath.org/StartingTheNotebook. INPUT: directory -- directory that contains the Sage notebook files; the default is .sage/sage_notebook, in your home directory. port -- (default: 8000), port to serve the notebook on. address -- (default: 'localhost'), address of network interface to listen on; give '' to listen on all interfaces. port_tries-- (default: 0), number of additional ports to try if the first one doesn't work (*not* implemented). secure-- (default: False) if True use https so all communication, e.g., logins and passwords, between web browsers and the Sage notebook is encrypted via GNU TLS. *Highly recommended!* require_login -- (default: True) if True login is required else web user is automatically logged in as user admin. So notebook(address='') should give you something like sage: notebook(address='') The notebook files are stored in: /Users/michaelabshoff/.sage// sage_notebook ** WARNING: Running the notebook insecurely not on localhost is dangerous because its possible for people to sniff passwords and gain access to your account. Make sure you know what you are doing. ** ** WARNING: Insecure notebook server listening on external address. Unless you are running this via ssh port forwarding, you are **crazy**! You should run the notebook with the option secure=True. ** As pointed out you should also use secure=True to force the use of ssl. > Thoughts? > > Thanks, > -Richard Vaughn Let us know if you have any more trouble. Cheers, 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] What is URL for remote sage access?
I installed sage locally on a Fedora Core 10 machine. My user wants to access this installation remotely. When he runs sage on his (Mac) laptop, it tells him to open his browser to http://localhost:8000. What is the URL? Is it port 8000? The machine name is strings358. I tried "http://strings358:8000";, and the fully-qualified "http://strings358.rutgers.edu:8000";. In both cases, not found. Also ran "notebook()" on the local sage machine; no help there, either. Thoughts? Thanks, -Richard Vaughn --~--~-~--~~~---~--~~ 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: sws vs pdf
> I consider it a bug too. Can you open a ticket for it? This is now # 5177. - kcrisman --~--~-~--~~~---~--~~ 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: define a ring with the indeterminates integeres modulo 2
On Wednesday 04 February 2009, Adela wrote: > hello! > > My question is how can I define in Saga a ring with indeterminates > modulo 2? You're either looking for a polynomial ring over GF(2): sage: P. = PolynomialRing(GF(2)) sage: P Univariate Polynomial Ring in x over Finite Field of size 2 sage: P. = PolynomialRing(GF(2)) sage: P Multivariate Polynomial Ring in x, y over Finite Field of size 2 or the boolen polynomial ring (where x^2 == x): sage: B. = BooleanPolynomialRing() sage: B Boolean PolynomialRing in x, y This should be well documented in the tutorial and the reference manual (I didn't check though) Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=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] define a ring with the indeterminates integeres modulo 2
hello! My question is how can I define in Saga a ring with indeterminates modulo 2? Thank you! --~--~-~--~~~---~--~~ 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: sws vs pdf
kcrisman wrote: > >> When you delete all output, does that actually delete the physical >> images in the cell directory? (You may not know, but someone can check). > > Not only does it not remove the physical images e.g. sage0.png, it > doesn't even remove the cell directories!!! My current worksheet only > has cells 4, 8, 9, 12, 14, and 15 (none of which have images, just > function definitions) and yet there are directories for cells 10, 13, > 16, and 17 as well, three of which have sage0.png (which is just a > small graph of x^3). Oddly, cells 1, 2, 3, etc. are not there, which > is somewhat comforting. But this is after opening and closing this > worksheet (and saving it, etc.) a number of times. > > Okay, I just checked this specifically. I added a graph in a cell, > then deleted that cell, saved the worksheet, trashed the worksheet. > (I did not empty the trash!) And the result: > > $ ls -l 15/ > total 32 > -rw-r--r-- 14328 Feb 4 12:06 sage0.png > > I even cp'ed it to my Desktop and it loads in at a hefty 16 KB. And > even after deleting the cell, the sws goes from 133 KB to 146 KB. > This could add up REALLY fast with intense graphics. > > Thanks for any tracking down of this; I definitely consider this a > bug. This has caused me a lot of headache in the past too, where closing and then opening a worksheet and re-evaluating something (or creating something) used an image from an old cell or something. I consider it a bug too. Can you open a ticket for it? Jason --~--~-~--~~~---~--~~ 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: sws vs pdf
> When you delete all output, does that actually delete the physical > images in the cell directory? (You may not know, but someone can check). Not only does it not remove the physical images e.g. sage0.png, it doesn't even remove the cell directories!!! My current worksheet only has cells 4, 8, 9, 12, 14, and 15 (none of which have images, just function definitions) and yet there are directories for cells 10, 13, 16, and 17 as well, three of which have sage0.png (which is just a small graph of x^3). Oddly, cells 1, 2, 3, etc. are not there, which is somewhat comforting. But this is after opening and closing this worksheet (and saving it, etc.) a number of times. Okay, I just checked this specifically. I added a graph in a cell, then deleted that cell, saved the worksheet, trashed the worksheet. (I did not empty the trash!) And the result: $ ls -l 15/ total 32 -rw-r--r-- 14328 Feb 4 12:06 sage0.png I even cp'ed it to my Desktop and it loads in at a hefty 16 KB. And even after deleting the cell, the sws goes from 133 KB to 146 KB. This could add up REALLY fast with intense graphics. Thanks for any tracking down of this; I definitely consider this a bug. - kcrisman --~--~-~--~~~---~--~~ 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: sws vs pdf
kcrisman wrote: > > >> Maybe they contain the revision history? That could make them big. > > They must do something like this, or at least it includes graphics > from the temp directory or something. > > I just tried a worksheet that had had some graphics in it. I deleted > those cells. The size of the download didn't go down. I added a cell > with a graphic in it. The size went up about 25 KB. I did it again; > it happened again. Note that each time I did this, I "delete all > output"ed the worksheet before downloading. > > Anyone else is welcome to try this; it's the addition in size when the > worksheet changes that you would need to test, not the size of any > given static worksheet, which of course would be big if there was big > stuff in it. But I do find it odd that the worksheet would need ANY > information other than the text of the commands to run properly. > > I can only imagine how bad this would be if it keeps all interact > history... but let's hope they don't. > When you delete all output, does that actually delete the physical images in the cell directory? (You may not know, but someone can check). Jason --~--~-~--~~~---~--~~ 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: sws vs pdf
> Maybe they contain the revision history? That could make them big. They must do something like this, or at least it includes graphics from the temp directory or something. I just tried a worksheet that had had some graphics in it. I deleted those cells. The size of the download didn't go down. I added a cell with a graphic in it. The size went up about 25 KB. I did it again; it happened again. Note that each time I did this, I "delete all output"ed the worksheet before downloading. Anyone else is welcome to try this; it's the addition in size when the worksheet changes that you would need to test, not the size of any given static worksheet, which of course would be big if there was big stuff in it. But I do find it odd that the worksheet would need ANY information other than the text of the commands to run properly. I can only imagine how bad this would be if it keeps all interact history... but let's hope they don't. - kcrisman --~--~-~--~~~---~--~~ 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: crash with groebner basis
On Feb 4, 6:57 am, Pierre wrote: Hi Pierre, > thanks for such a quick reply ! Well, I am just hanging out in IRC waiting for my Sage builds to finish :) > > (b) The more entertaining bug: LIB is the same as lib on OSX since > > the default filesystem is case aware, but case insensitve. But you can > > create a case-sensitive HFS volume on OSX where the above error would > > manifest itself. > > ah, this is it. See, i've installed mac os x instead of ubuntu (i had > ubuntu alone on my macbook, originally), so i had to format the whole > ext3 filesystem and OS X asked if i wanted the thing to be case- > sensitive. I thought hey, it'll be closer to unix if it is. Poor > choice... > > > If (b) is the case you might be able to fix this by linking LIB to lib > > in $SAGE_LOCAL. > > so i went to /Applications/sage/local and went > > ln -s lib LIB > > It works now ! thanks ! > i'm worried though : is this thing going to haunt me every time i > upgrade ??? If you upgrade in place you won't need to do a thing, if you build from fresh sources on such a filesystem you will have to fix it until we fix the issue in Sage itself. > and how come the bug does not show up on linux FS, which > are case-sensitive ? Because we treat OSX special in that regard. We used to link LIB to lib unconditionally, but some archive extraction tools chocked on OSX it. So it was fixing it for 99.9% of the OSX people vs. leaving it broken for the 0.1% (or probably less) who use case sensitive HFS on OSX. William and I ran into the same issue on an OSX box with case sensitive HFS before, so I knew that the bug existed and that it was possible you hit it, too, but AFAIK no one besides you ever reported the problem on the mailing lists. It could be fixed in theory, but the much cleaner fix is to move the Singular libs to its own directory and tell Singular where to find them. As is one cannot downgrade Singular and expect it to have pristine libs since we do not wipe out the old libs. > cheers > pierre Cheers, 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: crash with groebner basis
On Feb 4, 6:58 am, Martin Albrecht wrote: > On Wednesday 04 February 2009, mabshoff wrote: > > FWIW: worksforme I am not 100% sure what you are driving at, but I guess it is the comment about bug fixes. With that I specifically meant John Perry's fix at #5125. There are other improvements, i.e. GBases over any field as you do know since you were involved in that code :) Cheers, Michael > $ sage > -- > | Sage Version 3.2.3, Release Date: 2009-01-05 | > | Type notebook() for the GUI, and license() for information. | > -- > sage: R. = QQ[] > sage: I= [a-b, a+2*b]*R > sage: I.groebner_basis() > [a, b] > > -- > name: Martin Albrecht > _pgp:http://pgp.mit.edu:11371/pks/lookup?op=get&search=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: crash with groebner basis
On Wednesday 04 February 2009, mabshoff wrote: FWIW: worksforme $ sage -- | Sage Version 3.2.3, Release Date: 2009-01-05 | | Type notebook() for the GUI, and license() for information.| -- sage: R. = QQ[] sage: I= [a-b, a+2*b]*R sage: I.groebner_basis() [a, b] -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=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: crash with groebner basis
thanks for such a quick reply ! > (b) The more entertaining bug: LIB is the same as lib on OSX since > the default filesystem is case aware, but case insensitve. But you can > create a case-sensitive HFS volume on OSX where the above error would > manifest itself. ah, this is it. See, i've installed mac os x instead of ubuntu (i had ubuntu alone on my macbook, originally), so i had to format the whole ext3 filesystem and OS X asked if i wanted the thing to be case- sensitive. I thought hey, it'll be closer to unix if it is. Poor choice... > If (b) is the case you might be able to fix this by linking LIB to lib > in $SAGE_LOCAL. so i went to /Applications/sage/local and went ln -s lib LIB It works now ! thanks ! i'm worried though : is this thing going to haunt me every time i upgrade ??? and how come the bug does not show up on linux FS, which are case-sensitive ? cheers pierre --~--~-~--~~~---~--~~ 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: crash with groebner basis
On Feb 4, 6:18 am, Pierre wrote: > hi, Hi Pierre, > i'm sure this used to work with earlier versions of sage, but now i'm > getting this: > > sage: R. = QQ[] > sage: I= [a-b, a+2*b]*R > sage: I.groebner_basis() > RuntimeError: Singular error: > ? cannot open `general.lib` > ? error occurred in STDIN line 2: `LIB "general.lib";` There are two potential problems here: (a) Your Sage install is broken. Where did you get it? Did you install from sources? (b) The more entertaining bug: LIB is the same as lib on OSX since the default filesystem is case aware, but case insensitve. But you can create a case-sensitive HFS volume on OSX where the above error would manifest itself. I have complained about LIB being the same as local/ lib and we need to fix that since for the Cygwin port import libs do have the lib extension and that can cause havoc with the Singular high level libraries. The Debian port stuffs them somewhere else, too, so we can easily do the same. This should certainly be done once we update to the new upstream Singular release when it is out. If (b) is the case you might be able to fix this by linking LIB to lib in $SAGE_LOCAL. > ** > > and, if i try again, i get the unexpected: > > sage: I.groebner_basis() > verbose 0 (1790: multi_polynomial_ideal.py, groebner_basis) Warning: > falling back to very slow toy implementation. > [a, b] This happens probably because Singular errorored out, but I am not 100% sure and too lazy to look at the code :) > what's up ? i'm using sage 3.1.4. I'm on os X now, and i haven't done > a lot of sage since i switched from ubuntu, so perhaps it's just not > installed properly -- but what could i have done possibly wrong ? 3.1.4 is a little long in the tooth and 3.3 has significant fixes for Groebner basis in Sage via Singular, so I would recommend you update to 3.3 once it is out in a couple days. > thanks ! > pierre Cheers, 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] crash with groebner basis
hi,
i'm sure this used to work with earlier versions of sage, but now i'm
getting this:
sage: R. = QQ[]
sage: I= [a-b, a+2*b]*R
sage: I.groebner_basis()
---
RuntimeError Traceback (most recent call
last)
/Volumes/guillot home directory/progs/sage/kassel/ in
()
/Applications/sage/local/lib/python2.5/site-packages/sage/misc/
cachefunc.pyc in __call__(self, *args, **kwds)
190 return cache[key]
191 else:
--> 192 cache[key] = self.f(self._instance, *args, **kwds)
193 return cache[key]
194
/Applications/sage/local/lib/python2.5/site-packages/sage/rings/
polynomial/multi_polynomial_ideal.pyc in groebner_basis(self,
algorithm, *args, **kwds)
1956 else:
1957 try:
-> 1958 gb = self._groebner_basis_singular
("groebner", *args, **kwds)
1959 except TypeError, msg: # conversion to
Singular not supported
1960 if self.ring().term_order().is_global():
/Applications/sage/local/lib/python2.5/site-packages/sage/rings/
polynomial/multi_polynomial_ideal.pyc in wrapper(*args, **kwds)
313 execute fucntion in \code{RedSBContext}.
314 """
--> 315 with RedSBContext():
316 return func(*args, **kwds)
317 wrapper.__doc__=func.__doc__
/Applications/sage/local/lib/python2.5/site-packages/sage/rings/
polynomial/multi_polynomial_ideal.pyc in __enter__(self)
282 7*a-420*c^3+158*c^2+8*c-7
283 """
--> 284 self.o = self.singular.option("get")
285 self.singular.option("redSB")
286
/Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/
singular.pyc in option(self, cmd, val)
974 elif cmd == "get":
975 #return SingularFunction(self,"option")("\"get\"")
--> 976 return self(self.eval("option(get)"),"intvec")
977 elif cmd == "set":
978 if not isinstance(val,SingularElement):
/Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/
singular.pyc in eval(self, x, allow_semicolon, strip)
480 x += ';'
481
--> 482 s = Expect.eval(self, x)
483
484 if s.find("error") != -1 or s.find("Segment fault") !=
-1:
/Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/
expect.pyc in eval(self, code, strip, synchronize, **kwds)
935 try:
936 with gc_disabled():
--> 937 return '\n'.join([self._eval_line(L, **kwds)
for L in code.split('\n') if L != ''])
938 except KeyboardInterrupt:
939 # DO NOT CATCH KeyboardInterrupt, as it is being
caught
/Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/
expect.pyc in _eval_line(self, line, allow_use_file, wait_for_prompt)
631 try:
632 if self._expect is None:
--> 633 self._start()
634 E = self._expect
635 try:
/Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/
singular.pyc in _start(self, alt_message)
336 Expect._start(self, alt_message)
337 # Load some standard libraries.
--> 338 self.lib('general') # assumed loaded by misc/
constants.py
339
340 def __reduce__(self):
/Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/
singular.pyc in lib(self, lib, reload)
632 if not reload and lib in self.__libs:
633 return
--> 634 self.eval('LIB "%s"'%lib)
635 self.__libs.append(lib)
636
/Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/
singular.pyc in eval(self, x, allow_semicolon, strip)
483
484 if s.find("error") != -1 or s.find("Segment fault") !=
-1:
--> 485 raise RuntimeError, 'Singular error:\n%s'%s
486
487 if get_verbose() > 0:
RuntimeError: Singular error:
? cannot open `general.lib`
? error occurred in STDIN line 2: `LIB "general.lib";`
**
and, if i try again, i get the unexpected:
sage: I.groebner_basis()
verbose 0 (1790: multi_polynomial_ideal.py, groebner_basis) Warning:
falling back to very slow toy implementation.
[a, b]
what's up ? i'm using sage 3.1.4. I'm on os X now, and i haven't done
a lot of sage since i switched from ubuntu, so perhaps it's just not
installed properly -- but what could i have done possibly wrong ?
thanks !
pierre
--~--~-~--~~~---~--~~
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
-~
