[sage-support] Re: solve() problem

2009-08-14 Thread Michael Brickenstein
The system is has solutions. You can use Singular, which is part of Sage: http://www.singular.uni-kl.de/Manual/3-1-0/sing_1273.htm > ring r=0,(x,y),lp; > ideal i=x2+y2-25, x2-y2-y-5; > LIB "solve.lib"; // ** loaded /sw/share/Singular/LIB/solve.lib (1.39,2009/04/15) // ** loaded /sw/share/Singu

[sage-support] matrix term Orderings

2009-08-04 Thread Michael Brickenstein
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 s

[sage-support] Re: Solving multivariate polynomial systems over GF(2)

2009-08-04 Thread Michael Brickenstein
s highly symmetric. Michael On 3 Aug., 22:12, Michael Brickenstein 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,a11

[sage-support] Re: Solving multivariate polynomial systems over GF(2)

2009-08-03 Thread Michael Brickenstein
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]: In [3]:ideal=[a111 *

[sage-support] Re: does Sage work for finfing Groebner basis for a very large system?

2009-02-06 Thread Michael Brickenstein
Hi! If I didn't made an error converting this input, PolyBoRi returns an answer immediately. Indeed [1]. And of course it is the GB for all orderings. Regarding "seeing, what is going" use "prot=True". Michael --~--~-~--~~~---~--~~ To post to this group, send ema

[sage-support] Re: : database is locked

2007-11-29 Thread Michael Brickenstein
Hi! The program is located on a local disc, it is just my home on a NFS file system. I tried linking .sage to /tmp/blupper (I hope, that is not a trademark) and everything worked. Then I removed the link and tried again with my normal nfs home and produced the following strace. Best regards, Mic

[sage-support] Re: : database is locked

2007-11-28 Thread Michael Brickenstein
Hello! The same problem appears here. I suppose, it could be a problem with the NFS home directories. Best regards, Michael (the real Michael) On 28 Nov., 20:50, trio123 <[EMAIL PROTECTED]> wrote: > Thanks Michael > > notebook(secure=False) > works like a charm but it would be nice to get the sec

[sage-support] Re: : database is locked

2007-11-28 Thread Michael Brickenstein
Hi! I have the same problem here on our compute server. Could it be a problem with file locking in NFS-home-directories? Best regards, Michael (the real Michael) On 28 Nov., 20:50, trio123 <[EMAIL PROTECTED]> wrote: > Thanks Michael > > notebook(secure=False) > works like a charm but it would be