[sage-support] Problem in Sat Solver

When I run the following code, I have Traceback (click to the left of this block for traceback) ... AssertionError from sage.crypto.boolean_function import BooleanFunction R.=BooleanPolynomialRing(6) C=[x0, x0 + x1, x1 + x2, x3, x2 + 1, x4 +x5] tt=cputime() I = Ideal(C) import sage.

[sage-support] Re: Fwd: sage.maa.org

On 4/4/13 7:31 PM, Dan Drake wrote: On Thu, 04 Apr 2013 at 05:06AM -0700, kcrisman wrote: Now that I think about it, you shouldn't be able to make an account on it anyway... Dan, that's probably because OpenID is now allowed or something. In principle, one should have to know "the magic word"

Re: [sage-support] Re: Fwd: sage.maa.org

On Thu, 04 Apr 2013 at 05:06AM -0700, kcrisman wrote: > Now that I think about it, you shouldn't be able to make an account on it > anyway... Dan, that's probably because OpenID is now allowed or something. > In principle, one should have to know "the magic word" which only PREP > participants

Re: [sage-support] problem while compiling sage-5.8 with singular

Time to blacklist gcc-4.8.0 on arch? Its clearly shipped in a broken state. Can you compile sage with: export SAGE_INSTALL_GCC=yes make On Friday, April 5, 2013 12:11:45 AM UTC+1, Aladin VIRMAUX wrote: > > Thanks for you answer, here is the output : > > [dadin@bubble .sage-5.8]% ./sage --

Re: [sage-support] problem while compiling sage-5.8 with singular

Thanks for you answer, here is the output : [dadin@bubble .sage-5.8]% ./sage --sh Starting subshell with Sage environment variables set. Don't forget to exit when you are done. Beware: * Do not do anything with other copies of Sage on your system. * Do not use this for installing Sage packag

Re: [sage-support] problem while compiling sage-5.8 with singular

What is the output of $ ./sage --sh (sage-sh) $ which gcc (sage-sh) $ gcc -v (sage-sh) $ which g++ (sage-sh) $ g++ -v -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email

Re: [sage-support] Cleaning temporary/easily generated files from ~/.sage

Thank you for the response. I had not noticed the "Revisions" tab on the worksheet (feeling embarrassed). Jim On Apr 4, 2013, at 9:03 AM, kcrisman wrote: > > > On Thursday, April 4, 2013 11:30:55 AM UTC-4, Jim wrote: > Deep among the .sage/sage_notebook.sagenb subdirectories is a worksheet >

Re: [sage-support] Parametrization in sage

That's so nice, I wish I could attend some class there for learning Sage,but I'm looking forward to learn it here.. so kind of you, that would be my pleasure :-) On Thursday, April 4, 2013 10:18:32 PM UTC+4:30, William wrote: > > On Thu, Apr 4, 2013 at 10:43 AM, Neda > > wrote: > > Thank you

Re: [sage-support] Parametrization in sage

Cool. I'm teaching an intro course this quarter on Linear Algebra, >> and I'll show your example to the class tomorrow. :-) > > > Plot twist: Neda is actually enrolled in your class > You are diabolical! :-) -- You received this message because you are subscribed to the Google Groups "sa

Re: [sage-support] Parametrization in sage

On Thursday, April 4, 2013 6:48:32 PM UTC+1, William wrote: > Cool. I'm teaching an intro course this quarter on Linear Algebra, > and I'll show your example to the class tomorrow. :-) Plot twist: Neda is actually enrolled in your class -- You received this message because you are subscrib

[sage-support] problem while compiling sage-5.8 with singular

Hello, I'm trying to compile from source sage-5.8 and singular seems to fail the installation. I'm running archlinux with the option -j4, here is the end of the log with the error : g++ -O2 -g -fPIC -pipe -fno-implicit-templates -I. -I.. -I/home/dadin/.sage-5.8/local -I/home/dadin/.sage-5.

[sage-support] Re: an algorithm for computing S(f,g)

Thank you so much, so nice of you. On Thursday, April 4, 2013 9:58:27 PM UTC+4:30, Volker Braun wrote: > > See > http://www.sagemath.org/doc/reference/polynomial_rings/sage/rings/polynomial/toy_d_basis.html > > On Thursday, April 4, 2013 6:23:48 PM UTC+1, Neda wrote: >> >> could you please tell m

Re: [sage-support] Parametrization in sage

On Thu, Apr 4, 2013 at 10:43 AM, Neda wrote: > Thank you so much, No it is not my homwork, I'm just trying to learn sage > :-) Cool. I'm teaching an intro course this quarter on Linear Algebra, and I'll show your example to the class tomorrow. :-) William > On Thursday, April 4, 2013 9:56:24

Re: [sage-support] Parametrization in sage

Thank you so much, No it is not my homwork, I'm just trying to learn sage :-) On Thursday, April 4, 2013 9:56:24 PM UTC+4:30, William wrote: > > On Thu, Apr 4, 2013 at 10:21 AM, Neda > > wrote: > > > > Hello > > > > Can we parametrize all solutions of the linear equations like > > > > x+2*

[sage-support] Re: an algorithm for computing S(f,g)

See http://www.sagemath.org/doc/reference/polynomial_rings/sage/rings/polynomial/toy_d_basis.html On Thursday, April 4, 2013 6:23:48 PM UTC+1, Neda wrote: > > could you please tell me how to write an algorithm for computing S(f,g) > using any order of two polynomials f and g? > -- You received

Re: [sage-support] Parametrization in sage

On Thu, Apr 4, 2013 at 10:21 AM, Neda wrote: > > Hello > > Can we parametrize all solutions of the linear equations like > > x+2* y-2*z+w= -1 > > x+y+z-w =2 > > in sage? var('x,y,z,w') solve([x+2*y-2*z+w == -1, x+y+z-w==2], [x,y]) Did I just do your linear algebra homework? :-) > > -- > You r

[sage-support] an algorithm for computing S(f,g)

Hello could you please tell me how to write an algorithm for computing S(f,g) using any order of two polynomials f and g? S(f,g)= x^A/ LT(f) * f - x^A/LT(g) *g ; x^k = multideg(f) ; x^q=multideg(g); A= (A_1,..., A_n) A= max(k_i,q_i) ; x^A= LCM (LM(f),LM(g) ) I know all the above comm

[sage-support] Parametrization in sage

Hello Can we parametrize all solutions of the linear equations like x+2* y-2*z+w= -1 x+y+z-w =2 in sage? -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to s

[sage-support] Re: SIGSEGV error in large Code

I think the patches need some rebasing (they also depend on other stuff). The first question is, does the same happen with your code on a newer glibc? Mercurial is the version control system that we currently use. SWO = strict weak order On Thursday, April 4, 2013 5:08:36 PM UTC+1, FalkRichter

[sage-support] Re: SIGSEGV error in large Code

I can reproduce the SIGSEGV example given on that page. But I must confess that I'm unable to install the burcin pynac patches. hg_sage.apply("/home/frichter/sage-5.8/patches/trac9880_pynac_order_burcin_original.patch") gives : (see below). How to apply those patches without studying things fo

Re: [sage-support] Cleaning temporary/easily generated files from ~/.sage

On Thursday, April 4, 2013 11:30:55 AM UTC-4, Jim wrote: > > Deep among the .sage/sage_notebook.sagenb subdirectories is a worksheet > subdirectory > that contains a subdirectory called "snapshots" that contains numerous > *.bz2 files. > > I assume these are snapshots of the worksheet. > Wha

Re: [sage-support] Cleaning temporary/easily generated files from ~/.sage

Deep among the .sage/sage_notebook.sagenb subdirectories is a worksheet subdirectory that contains a subdirectory called "snapshots" that contains numerous *.bz2 files. I assume these are snapshots of the worksheet. What causes their creation? Do they contain a revision history? If so, how do I

[sage-support] Re: SIGSEGV error in large Code

Can you try your code on a more recent linux distro? Newer glibcs are more forgiving (i.e. don't crash) about sorting with a non-swo. On Thursday, April 4, 2013 3:17:21 PM UTC+1, FalkRichter wrote: > > Thanks for fast reply. I will investigate this. > > -- You received this message because

[sage-support] Re: SIGSEGV error in large Code

Thanks for fast reply. I will investigate this. On Thursday, 4 April 2013 16:09:55 UTC+2, Volker Braun wrote: > Most likely this is http://trac.sagemath.org/9880 > > > On Thursday, April 4, 2013 2:52:05 PM UTC+1, FalkRichter wrote: > No symbol table info available. > #1  0x7f7f4673ac63 i

[sage-support] Re: SIGSEGV error in large Code

Most likely this is http://trac.sagemath.org/9880 On Thursday, April 4, 2013 2:52:05 PM UTC+1, FalkRichter wrote: > > No symbol table info available. > #1 0x7f7f4673ac63 in print_enhanced_backtrace () from > /home/frichter/sage-5.8/local/lib/libcsage.so > No symbol table info available. > #

Re: [sage-support] passing variables from one worksheet to the other

On Apr 4, 2013 6:21 AM, "evren" wrote: > > Professor Stein, > > Is it possible to save more than one variable at a time to \tmp? > Yes - use multiple files or put multiple variables together in a list... > Best, > > Evren > > On Thursday, April 4, 2013 12:36:10 AM UTC-4, William wrote: >> >> On W

[sage-support] SIGSEGV error in large Code

Hi, sage-5.8, install from source on Ubuntu10.04 LT. the SIGSEGV has been reproduced on a Scientifuc Linux node as well. Unfortunately I cannot not isolate it. It occurs in the middle of the run after doing similar things a thousand times before. Probably caused in one of the libraries used for

Re: [sage-support] passing variables from one worksheet to the other

Thanks! Evren On Thursday, April 4, 2013 5:07:40 AM UTC-4, Volker Braun wrote: > > Alternatively, if its a small enough matrix, use sage_input() and > copy&paste: > > sage: m = random_matrix(ZZ,3) > sage: m > [ 1 -1 -1] > [ 3 0 6] > [41 2 10] > sage: sage_input(m) > matrix(ZZ, [[1, -1, -1], [

Re: [sage-support] passing variables from one worksheet to the other

Professor Stein, Is it possible to save more than one variable at a time to \tmp? Best, Evren On Thursday, April 4, 2013 12:36:10 AM UTC-4, William wrote: > > On Wed, Apr 3, 2013 at 6:50 PM, evren > > wrote: > > Hi everyone, > > > > I use sage online. How can I pass variables from one wor

Re: [sage-support] Re: Fwd: sage.maa.org

On Thu, Apr 4, 2013 at 8:06 AM, kcrisman wrote: > > > On Wednesday, April 3, 2013 8:24:40 PM UTC-4, kcrisman wrote: >> >> >> >> On Wednesday, April 3, 2013 6:42:37 PM UTC-4, Jason Grout wrote: >>> >>> On 4/3/13 5:23 PM, David Joyner wrote: >>> > Hi: >>> > Has anyone on sage-support tested out sag

Re: [sage-support] Polynomial command

* by the way ! On Thu, Apr 4, 2013 at 5:13 PM, Neda Dargahi wrote: > I asked this question befor but no one answerd so i think maybe if I know > how towrite F maybe I can solve this! > yes I read that page but still dont know how to write F > bye the way,thank you so much for answering. > > >

Re: [sage-support] Polynomial command

I asked this question befor but no one answerd so i think maybe if I know how towrite F maybe I can solve this! yes I read that page but still dont know how to write F bye the way,thank you so much for answering. On Thu, Apr 4, 2013 at 5:05 PM, John Cremona wrote: > > > > > > On 4 April 2013 1

Re: [sage-support] Polynomial command

On 4 April 2013 13:27, Neda Dargahi wrote: > > no, ijust want to know how can I compute the remainder on division of > the given polynomial f by the order set F using grlex order in sage? thank > you f= x^*y^2+x^3*y^2-y+1 F=(x*y^2-x , x-y^3) > > I'm not sure how I was supposed to guess that fr

Re: [sage-support] Polynomial command

no, ijust want to know how can I compute the remainder on division of the given polynomial f by the order set F using grlex order in sage? thank you f= x^*y^2+x^3*y^2-y+1 F=(x*y^2-x , x-y^3) On Thu, Apr 4, 2013 at 4:36 PM, John Cremona wrote: > Like this? > > sage: R. = QQ[] > sage: f = x^2+y

[sage-support] Re: Fwd: sage.maa.org

On Wednesday, April 3, 2013 8:24:40 PM UTC-4, kcrisman wrote: > > > > On Wednesday, April 3, 2013 6:42:37 PM UTC-4, Jason Grout wrote: >> >> On 4/3/13 5:23 PM, David Joyner wrote: >> > Hi: >> > Has anyone on sage-support tested out sage.maa.org ? >> >> > I tried (very impa

Re: [sage-support] Polynomial command

Like this? sage: R. = QQ[] sage: f = x^2+y^2 # for example sage: f(x^2-4,x^2-2*x) 2*x^4 - 4*x^3 - 4*x^2 + 16 John Cremona On 4 April 2013 12:58, Neda wrote: > > Hello > How can I write a polynomial f(x^2-4,x^2-2*x) in sage? > thank you > > -- > You received this message because you are

[sage-support] Polynomial command

Hello How can I write a polynomial f(x^2-4,x^2-2*x) in sage? thank you -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.co

Re: [sage-support] passing variables from one worksheet to the other

Alternatively, if its a small enough matrix, use sage_input() and copy&paste: sage: m = random_matrix(ZZ,3) sage: m [ 1 -1 -1] [ 3 0 6] [41 2 10] sage: sage_input(m) matrix(ZZ, [[1, -1, -1], [3, 0, 6], [41, 2, 10]]) On Thursday, April 4, 2013 5:36:10 AM UTC+1, William wrote: > > You could s

[sage-support] /Applications/sage/spkg/bin/sage: line 270: 3401 Segmentation fault sage-location

Hello guys I'm a a sage begginer and i copyed the sage folder to my application folder. And when i try to execute sage via the terminal with root profil i have this error: /Applications/sage/spkg/bin/sage: line 270: 3401 Segmentation fault sage-location Please i need your help -- You

Re: [sage-support] Cleaning temporary/easily generated files from ~/.sage

You can pretty much freely kill anything other than the "sage_notebook.sagenb" subdirectory -- the rest is just cache files, logs, command-line history, etc. The notebook subdirectory is important, because it contains your saved worksheets (if you use the sage notebook) -- if you use sage purely fr