[sage-support] Re: How to detect memory leaks?
Dear Michael, On 28 Okt., 15:27, mabshoff [EMAIL PROTECTED] dortmund.de wrote: Can you come up with some simple Cython code using libSingular that shows the same behavior, i.e. the more simple the better. This would help me potentially hunt down the cause. Your wish is my command... It is ticket #4380. It seems to me that the leak will be located in the `reduce` method of MPolynomial_libsingular. Cheers Simon --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] newbie: latex and czech text
Hello trying the following %latex Budeme studovat funkci která je velice krásná I get error Traceback (click to the left for traceback) ... UnicodeDecodeError: 'utf8' codec can't decode byte 0xe1 in position 0: unexpected end of data Is there any way to use accented letters in maxima Notebook? Moreover, if I use \v{r} , I get correct accented letter, but using for example \'{a} gives new line and text u0027a Is there any way to fix LaTeX output? Thank you. Robert Marik --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: Fwd: Bug in ploting odd roots?
-- Forwarded message -- From: Minh Nguyen [EMAIL PROTECTED] Date: Wed, Oct 29, 2008 at 4:04 PM Subject: Re: [sage-support] Fwd: Bug in ploting odd roots? To: sage-support@googlegroups.com Cc: pong [EMAIL PROTECTED] Hi Pong, William Stein wrote: -- Forwarded message -- From: pong [EMAIL PROTECTED] Date: Tue, Oct 28, 2008 at 9:42 PM Subject: Re: Bug in ploting odd roots? To: William Stein [EMAIL PROTECTED] [...] Also, looks like after a certain period of time, one can only reply to the author instead of just reply in google, is that right? I don't quite understand this question, but here's my attempt at answering it. As far as I know, you can reply to authors by using their email addresses, which is fine and good. But if you reply to the relevant Google group, this is a much better way of letting folks know about your problem. Many people --- including users of Sage and Sage developers themselves --- subscribe to the sage-support mailing list. This means that posting your questions to that group would allow more folks to figure out your problem. Here's the URL for that Google group http://groups.google.com/group/sage-support On Oct 20 2007, 11:06 am, William Stein [EMAIL PROTECTED] wrote: On 10/20/07, Nikos Apostolakis [EMAIL PROTECTED] wrote: [...] Hello group, even though sage: (-8)^(1/3) -2 Under Sage 3.1.4, I get this: sage: (-8)^(1/3) 2*(-1)^(1/3) sage: plot(x^(1/3), -27, 27).show() verbose 0 (3605: plot.py, _plot) WARNING: When plotting, failed to evaluate function at 100 points. verbose 0 (3605: plot.py, _plot) Last error message: '' [...] -- Regards Minh Van Nguyen Web: http://nguyenminh2.googlepages.com Blog: http://mvngu.wordpress.com --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: newbie: latex and czech text
On 29 Říj, 11:31, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Is there any way to use accented letters in maxima Notebook? sorry, sage notebook, of course :) R.M. --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: How to detect memory leaks?
On Oct 29, 2:28 am, Simon King [EMAIL PROTECTED] wrote: Dear Michael, On 28 Okt., 15:27, mabshoff [EMAIL PROTECTED] dortmund.de wrote: Can you come up with some simple Cython code using libSingular that shows the same behavior, i.e. the more simple the better. This would help me potentially hunt down the cause. Hi Simon, Your wish is my command... :) It is ticket #4380. It seems to me that the leak will be located in the `reduce` method of MPolynomial_libsingular. *really* nice catch. I am testing the patch right now and it looks like a positive review. Interestingly Guppy would not have caught the memleak either since it is inside Singular, i.e. omalloc screws us here. Hans once showed me some debug tricks to hunt for leaks via omalloc, so if this turns out to be a harder problems than we thought we might want to go that way. Just as I mentioned on the ticket if you find anything else please open a new ticket since I want this patch to go in and it seems to resolve the vast majority of the problem in your code. Cheers Simon Cheers, Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: newbie: latex and czech text
On Oct 29, 3:35 am, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: On 29 Říj, 11:31, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Hi R.M., Is there any way to use accented letters in maxima Notebook? sorry, sage notebook, of course :) We figured :) R.M. Unfortunately this is a known and yet to be solved problem - see http://trac.sagemath.org/sage_trac/ticket/1477 Cheers, Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] datatype inconsistensity bug or feature?
Hi, I'm using sage 3.1.3 on Debian system. Is this a bug or a feature? sage: type(5. + RDF(5)); type(RDF(5) + 5.) type 'sage.rings.real_mpfr.RealNumber' type 'sage.rings.real_double.RealDoubleElement' somehow '+' ist not comutative, allthough '5. + RDF(5) == RDF(5) + 5.' yields 'True', and sage: type(RDF(pi) * 5.n(prec=53)) type 'sage.rings.real_double.RealDoubleElement' sage: type(5.n(prec=53) * RDF(pi)) type 'sage.rings.real_mpfr.RealNumber' sage: type(5.n(prec=54) * RDF(pi)) type 'sage.rings.real_double.RealDoubleElement' especially the last one, should'nt that be coerced to a mpfr type of 53 Bit precision or is there a rule like coerce to the type with lower precision and if both are of same precision coerce to the first one? thanks, Georg --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: datatype inconsistensity bug or feature?
On Oct 29, 2008, at 7:45 AM, Georg wrote: Hi, I'm using sage 3.1.3 on Debian system. Is this a bug or a feature? sage: type(5. + RDF(5)); type(RDF(5) + 5.) type 'sage.rings.real_mpfr.RealNumber' type 'sage.rings.real_double.RealDoubleElement' somehow '+' ist not comutative, allthough '5. + RDF(5) == RDF(5) + 5.' yields 'True', RDF and RealField(35) are canonically isomorphic, so + is mathematically commutative, but not implementation-wise. If there are coercions in both directions then an arbitrary choice must be made, in this case it defaults to the one on the left. It doesn't matter too much as the result can always get coerced to the other side if needed. and sage: type(RDF(pi) * 5.n(prec=53)) type 'sage.rings.real_double.RealDoubleElement' sage: type(5.n(prec=53) * RDF(pi)) type 'sage.rings.real_mpfr.RealNumber' sage: type(5.n(prec=54) * RDF(pi)) type 'sage.rings.real_double.RealDoubleElement' especially the last one, should'nt that be coerced to a mpfr type of 53 Bit precision or is there a rule like coerce to the type with lower precision and if both are of same precision coerce to the first one? That is precisely the rule, as specified in the reference manual. - Robert --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: Fwd: Bug in ploting odd roots?
From: pong [EMAIL PROTECTED] Date: Tue, Oct 28, 2008 at 9:42 PM Subject: Re: Bug in ploting odd roots? To: William Stein [EMAIL PROTECTED] Hi William, I have a similar problem and found this old post. Is there a less complicated solution by now? As far as I am aware, there is not. The issue is that one would like a^x to be continuous with respect to x, and so the natural branch to choose doesn't take real values at odd-denominator rational numbers for negative a. By the way, why the function RDF in capitol letters? Isn't it the convention of SAGE that function names are in lower case? It's not a function, RDF is a parent. RDF(a) creates a new RDF element out of a. sage: RDF Real Double Field sage: a = RDF(5) sage: a.parent() Real Double Field - Robert --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: datatype inconsistensity bug or feature?
Hi Robert, thanks for your fast answer, just one more question, RDF and RealField(35) are canonically isomorphic, what does that mean exactly, as far is I know, sage uses the 'gsl' for computations with 'RDF', and computations with 'RR' are done through 'mpfr', so if I write for example 'sqrt(5. + RDF(5))' and 'sqrt(RDF(5) + 5.)', does sage rely on the correctnes of both implementations of sqrt (one from gsl, one from mpfr) to be comutative? thanks, Georg --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Groebner basis, Ideal dimension and Variety
Hello, I have a system of 11 quadratic equations over GF(2) in 8 variables. I compute it's groebner basis. The ideal generated by it has dimension 0 so I compute its variety. It results in 16 solutions (16 possible sets of values for the 8 variables). I take one of the solutions and then i replace half of the variables of my system (ie. 4 variables) with their respective values from the taken solution. This results in a new system of equations of 4 variables. The dimension of the ideal of the groebner basis of the new system is 4 and not 0? Why? I would like to compute the variety of the new system and I would expect to find the solution of the other half of the variables. However the dimension of the ideal is 4 and i cannot compute the variety. Why the ideal dimension is 4, when it was 0 in the very beginning? Does ideal dimension 4 mean that i have infinite number of solutions? If yes, how is it possible when i see that there are exactly 16 solutions? Please see next for a specific example: I define P = PolynomialRing(GF(2), N, 'x',order='lex') I have a system of 11 quadratic equations over GF(2) in 8 variables. sage: e [x0*x4 + x0*x5 + x0*x7 + x0 + x1*x4 + x1*x5 + x1 + x2*x4 + x2*x7 + x3*x6 + x3*x7 + x3, x0*x4 + x0*x5 + x0*x6 + x1*x4 + x1*x5 + x1*x7 + x1 + x2*x4 + x2*x5 + x2 + x3*x4 + x3*x7, x0*x5 + x0*x6 + x0*x7 + x1*x4 + x1*x5 + x1*x6 + x2*x4 + x2*x5 + x2*x7 + x2 + x3*x4 + x3*x5 + x3, x0*x4 + x0*x6 + x0*x7 + x1*x4 + x1*x5 + x1*x6 + x2*x4 + x2*x5 + x2 + x3*x6 + x3*x7 + x3, x0*x4 + x0*x5 + x0*x7 + x0 + x1*x4 + x1*x7 + x1 + x2*x7 + x3*x4 + x3*x6 + x3, x0*x4 + x0*x5 + x0*x6 + x1*x4 + x1*x5 + x1 + x2*x6 + x2*x7 + x3*x5 + x3*x7 + x3, x0*x5 + x0*x6 + x0*x7 + x1*x4 + x1*x5 + x1*x7 + x1 + x2*x4 + x2*x7 + x3*x7 + x3, x0*x5 + x0*x7 + x0 + x1*x5 + x1*x6 + x1*x7 + x2*x4 + x2*x6 + x2 + x3*x4 + x3*x5 + x3*x6 + x4 + x6 + x7 + 1, x0*x4 + x0*x5 + x0*x6 + x1*x6 + x1 + x2*x4 + x2*x5 + x2*x7 + x2 + x3*x5 + x3 + x4 + x5 + x7 + 1, x0*x4 + x0*x6 + x0 + x1*x4 + x1*x5 + x1*x6 + x2*x6 + x2 + x3*x4 + x3*x5 + x3*x7 + x3 + x4 + x5 + x6, x0*x5 + x0*x6 + x0*x7 + x1*x4 + x1*x6 + x1 + x2*x4 + x2*x5 + x2*x6 + x3*x6 + x3 + x5 + x6 + x7] sage: The ideal generated by the polynomials in e has dimension 0: sage: I = ideal(e) sage: I.dimension() 0 sage: The ideal of the groebner basis of I has also dimension 0: sage: G=I.groebner_basis() sage: I2=ideal(G) sage: I2.dimension() 0 sage: So i compute the variety V of I2: sage: V=I2.variety() sage: V [{x1: 1, x0: 0, x3: 1, x2: 1, x5: 0, x4: 0, x7: 0, x6: 0}, {x1: 0, x0: 1, x3: 1, x2: 1, x5: 0, x4: 1, x7: 0, x6: 0}, {x1: 0, x0: 0, x3: 0, x2: 1, x5: 1, x4: 0, x7: 0, x6: 0}, {x1: 0, x0: 0, x3: 1, x2: 1, x5: 1, x4: 1, x7: 0, x6: 0}, {x1: 1, x0: 1, x3: 0, x2: 0, x5: 0, x4: 0, x7: 0, x6: 1}, {x1: 1, x0: 0, x3: 0, x2: 0, x5: 0, x4: 1, x7: 0, x6: 1}, {x1: 0, x0: 0, x3: 0, x2: 0, x5: 1, x4: 0, x7: 0, x6: 1}, {x1: 1, x0: 0, x3: 0, x2: 1, x5: 1, x4: 1, x7: 0, x6: 1}, {x1: 1, x0: 1, x3: 1, x2: 1, x5: 0, x4: 0, x7: 1, x6: 0}, {x1: 0, x0: 0, x3: 1, x2: 0, x5: 0, x4: 1, x7: 1, x6: 0}, {x1: 1, x0: 1, x3: 0, x2: 1, x5: 1, x4: 0, x7: 1, x6: 0}, {x1: 0, x0: 1, x3: 0, x2: 0, x5: 1, x4: 1, x7: 1, x6: 0}, {x1: 1, x0: 1, x3: 1, x2: 0, x5: 0, x4: 0, x7: 1, x6: 1}, {x1: 0, x0: 1, x3: 1, x2: 0, x5: 0, x4: 1, x7: 1, x6: 1}, {x1: 0, x0: 1, x3: 0, x2: 1, x5: 1, x4: 0, x7: 1, x6: 1}, {x1: 1, x0: 0, x3: 1, x2: 0, x5: 1, x4: 1, x7: 1, x6: 1}] sage: What i do next i set: x[0]=P(0) x[1]=P(1) x[4]=P(1) x[5]=P(0) Then my new system is: sage: e [x2*x7 + x2 + x3*x6 + x3*x7 + x3, x3*x7 + x3 + x7, x2*x7 + x6 + 1, x3*x6 + x3*x7 + x3 + x6 + 1, x2*x7 + x3*x6 + x7, x2*x6 + x2*x7 + x3*x7 + x3, x2*x7 + x2 + x3*x7 + x3 + x7, x2*x6 + x3*x6 + x3, x2*x7 + x3 + x6 + x7 + 1, x2*x6 + x2 + x3*x7, x2*x6 + x2 + x3*x6 + x3 + x7] sage: Its ideals dimension is 4: sage: I=ideal(e) sage: I.dimension() 4 sage: Its groebner basis is: sage: G=I.groebner_basis() sage: G [x7, x6 + 1, x3, x2 + x3*x6 + x3*x7 + x3] sage: The dimension of the ideal generated by G is also 4 and i cannot compute the variety: sage: I2=ideal(G) sage: I2.dimension() 4 sage: V=I2.variety() --- TypeError Traceback (most recent call last) /home/vvesseli/sage/sage-3.1.2/ipython console in module() /home/vvesseli/sage/sage-3.1.2/local/lib/python2.5/site-packages/sage/ rings/polynomial/multi_polynomial_ideal.py in variety(self, ring) 1465 P = self.ring() 1466 if ring is not None: P = P.change_ring(ring) - 1467 T = self.triangular_decomposition('singular:triangLfak') 1468 1469 V = [] /home/vvesseli/sage/sage-3.1.2/local/lib/python2.5/site-packages/sage/ rings/polynomial/multi_polynomial_ideal.py in triangular_decomposition(self, algorithm, singular) 702 703 if I.dimension() != 0: -- 704 raise TypeError, dimension must be zero 705 706 Ibar =
[sage-support] new user: latex fails
Dear sage users, I installed sage and texlive on my small virtual server. LaTeXing does not work: %latex Ahoj gives WARNING: Output truncated! full_output.txt An error occured. This is pdfeTeX, Version 3.141592-1.30.5-2.2 (Web2C 7.5.5) (format=latex 2008.10.29) 29 OCT 2008 11:38 entering extended mode **\nonstopmode \input{sage10.tex} (./sage10.tex (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo File: size10.clo 2004/02/16 v1.4f Standard LaTeX file (size option) ) [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texmf-texlive/tex/latex/fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/usr/share/texmf-texlive/tex/latex/amslatex/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features [EMAIL PROTECTED] For additional information on amsmath, use the `?' option. (/usr/share/texmf-texlive/tex/latex/amslatex/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf-texlive/tex/latex/amslatex/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 [EMAIL PROTECTED] [EMAIL PROTECTED] )) (/usr/share/texmf-texlive/tex/latex/amslatex/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d [EMAIL PROTECTED] ) (/usr/share/texmf-texlive/tex/latex/amslatex/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) [EMAIL PROTECTED] LaTeX Info: Redefining \frac on input line 211. [EMAIL PROTECTED] [EMAIL PROTECTED] LaTeX Info: Redefining \overline on input line 307. [EMAIL PROTECTED] [EMAIL PROTECTED] LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] LaTeX Font Info:Redeclaring font encoding OML on input line 567. LaTeX Font Info:Redeclaring font encoding OMS on input line 568. [EMAIL PROTECTED] ... [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] (/usr/share/texmf-texlive/tex/generic/pstricks/pstricks.con) \psunit=\dimen120 \psxunit=\dimen121 \psyunit=\dimen122 \pslinewidth=\dimen123 [EMAIL PROTECTED] \pslinearc=\dimen124 \everypsbox=\toks22 \psframesep=\dimen125 \pslabelsep=\dimen126 [EMAIL PROTECTED] [EMAIL PROTECTED] \theoverlaybox=\box30 ) File: pstricks.tex 2005/10/25 v1.12 `PSTricks' (tvz) (/usr/share/texmf-texlive/tex/latex/graphics/color.sty Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC) (/usr/share/texmf-texlive/tex/latex/config/color.cfg File: color.cfg 2001/08/31 v1.1 color configuration of teTeX/TeXLive ) Package color Info: Driver file: dvips.def on input line 125. (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) ))) No file sage10.aux. \openout1 = `sage10.aux'. LaTeX Font Info:Checking defaults for OML/cmm/m/it on input line 4. LaTeX Font Info:... okay on input line 4. LaTeX Font Info:Checking defaults for T1/cmr/m/n on input line 4. LaTeX Font Info:... okay on input line 4. LaTeX Font Info:Checking defaults for OT1/cmr/m/n on input line 4. LaTeX Font Info:... okay on input line 4. LaTeX Font Info:Checking defaults for OMS/cmsy/m/n on input line 4. LaTeX Font Info:... okay on input line 4. LaTeX Font Info:Checking defaults for OMX/cmex/m/n on input line 4. LaTeX Font Info:... okay on input line 4. LaTeX Font Info:Checking defaults for U/cmr/m/n on input line 4. LaTeX Font Info:... okay on input line 4. [1 ] (./sage10.aux) ) Here is how much of TeX's memory you used: 2486 strings out of 95213 29174 string characters out of 1185475 86506 words of memory out of 100 5641 multiletter control sequences out of 1+5 3640 words of font info for 14 fonts, out of 50 for 2000 28 hyphenation exceptions out of 8191 28i,5n,24p,284b,112s stack positions out of 1500i,500n,5000p,20b,5000s Output written on sage10.dvi (1 page, 332 bytes). Error latexing slide. WARNING: Output truncated! full_output.txt An error occured. This is pdfeTeX, Version 3.141592-1.30.5-2.2 (Web2C 7.5.5) (format=latex 2008.10.29) 29 OCT 2008 11:38 entering extended mode **\nonstopmode \input{sage10.tex} (./sage10.tex (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo File: size10.clo 2004/02/16 v1.4f Standard LaTeX file (size option) ) [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texmf-texlive/tex/latex/fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 )
[sage-support] Re: datatype inconsistensity bug or feature?
On Oct 29, 2008, at 8:28 AM, Georg wrote: Hi Robert, thanks for your fast answer, just one more question, RDF and RealField(35) are canonically isomorphic, what does that mean exactly, There is a bijection between them which preserves addition and multiplication. as far is I know, sage uses the 'gsl' for computations with 'RDF', and computations with 'RR' are done through 'mpfr', so if I write for example 'sqrt(5. + RDF(5))' and 'sqrt(RDF(5) + 5.)', does sage rely on the correctnes of both implementations of sqrt (one from gsl, one from mpfr) to be comutative? Technically, the real numbers to a fixed precision do not form a field. They are not associative nor do they (always) satisfy the distributive property. No matter what the implementation, there are positive numbers such that sqrt(x^2) != x. So really, here, we just to do the best we can. - Robert --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: Groebner basis, Ideal dimension and Variety
Hi! On Oct 29, 4:34 pm, vpv [EMAIL PROTECTED] wrote: The dimension of the ideal of the groebner basis of the new system is 4 and not 0? Why? Since you are still in a ring with 8 (and not 4) variables. snip What i do next i set: x[0]=P(0) x[1]=P(1) x[4]=P(1) x[5]=P(0) Then my new system is: sage: e [x2*x7 + x2 + x3*x6 + x3*x7 + x3, x3*x7 + x3 + x7, x2*x7 + x6 + 1, x3*x6 + x3*x7 + x3 + x6 + 1, x2*x7 + x3*x6 + x7, x2*x6 + x2*x7 + x3*x7 + x3, x2*x7 + x2 + x3*x7 + x3 + x7, x2*x6 + x3*x6 + x3, x2*x7 + x3 + x6 + x7 + 1, x2*x6 + x2 + x3*x7, x2*x6 + x2 + x3*x6 + x3 + x7] Apparently x2,x3,... are still generators of your original polynomial ring P -- and P has 8 variables, even though the new system of polynomials e uses only four of them. Defining a new ring with only the surviving variables has the expected result: sage: P.x2,x3,x6,x7 = PolynomialRing(GF(2), 4, 'x',order='lex') sage: e = [x2*x7 + x2 + x3*x6 + x3*x7 + x3, : x3*x7 + x3 + x7, : x2*x7 + x6 + 1, : x3*x6 + x3*x7 + x3 + x6 + 1, : x2*x7 + x3*x6 + x7, : x2*x6 + x2*x7 + x3*x7 + x3, : x2*x7 + x2 + x3*x7 + x3 + x7, : x2*x6 + x3*x6 + x3, : x2*x7 + x3 + x6 + x7 + 1, : x2*x6 + x2 + x3*x7, : x2*x6 + x2 + x3*x6 + x3 + x7] sage: I=ideal(e) sage: I.dimension() 0 sage: I2=ideal(I.groebner_basis()) sage: V=I2.variety() sage: V [{x2: 0, x7: 0, x6: 1, x3: 0}] Substitution of variables in a polynomial ideal *and* carrying it to a smaller polynomial ring seems to be a common problem. The subs-method does the substitution but keeps the ring: sage: I.subs({x2:0}) Ideal (x2*x7 + x2 + x3*x6 + x3*x7 + x3, x3*x7 + x3 + x7, x2*x7 + x6 + 1, x3*x6 + x3*x7 + x3 + x6 + 1, x2*x7 + x3*x6 + x7, x2*x6 + x2*x7 + x3*x7 + x3, x2*x7 + x2 + x3*x7 + x3 + x7, x2*x6 + x3*x6 + x3, x2*x7 + x3 + x6 + x7 + 1, x2*x6 + x2 + x3*x7, x2*x6 + x2 + x3*x6 + x3 + x7) of Multivariate Polynomial Ring in x2, x3, x6, x7 over Finite Field of size 2 Question to everybody: Is there a method that substitutes, say, x2=0 and returns an ideal in a polynomial ring over x3, x6, x7? If not, do you agree that such method (called, say, specialisation) would be useful? Cheers Simon --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: datatype inconsistensity bug or feature?
Hi Robert, thanks again, and sorry, my question was not well posed, fortunately (as a mathematician) I know what an isomorphism is :-), when I asked what does this exactly mean I actually wanted to know if in the cases 'sqrt(5. + RDF(5))' and 'sqrt(RDF(5) + 5.)' computation is performed by two different implementations of sqrt (gsl and mpfr) ? which would mean that sage could be non-commutative in some pathological cases (or simply if one of the implementations is buggy), this would be an inconsistency which is not comparable with non- associativity etc., because the latter obviously can't be avoided since fixed precision reals do not form a field ... thanks, Georg --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: Groebner basis, Ideal dimension and Variety
Thank you very much for the quick response, Simon! On Oct 29, 5:01 pm, Simon King [EMAIL PROTECTED] wrote: Hi! On Oct 29, 4:34 pm, vpv [EMAIL PROTECTED] wrote: The dimension of the ideal of the groebner basis of the new system is 4 and not 0? Why? Since you are still in a ring with 8 (and not 4) variables. Holy photon! But of course!!! When I redefine a new polynomial ring with generators - only the *new* unknown variables, I indeed end up with ideal of dimension 0. Thanks for the great help! snip What i do next i set: x[0]=P(0) x[1]=P(1) x[4]=P(1) x[5]=P(0) Then my new system is: sage: e [x2*x7 + x2 + x3*x6 + x3*x7 + x3, x3*x7 + x3 + x7, x2*x7 + x6 + 1, x3*x6 + x3*x7 + x3 + x6 + 1, x2*x7 + x3*x6 + x7, x2*x6 + x2*x7 + x3*x7 + x3, x2*x7 + x2 + x3*x7 + x3 + x7, x2*x6 + x3*x6 + x3, x2*x7 + x3 + x6 + x7 + 1, x2*x6 + x2 + x3*x7, x2*x6 + x2 + x3*x6 + x3 + x7] Apparently x2,x3,... are still generators of your original polynomial ring P -- and P has 8 variables, even though the new system of polynomials e uses only four of them. Defining a new ring with only the surviving variables has the expected result: sage: P.x2,x3,x6,x7 = PolynomialRing(GF(2), 4, 'x',order='lex') sage: e = [x2*x7 + x2 + x3*x6 + x3*x7 + x3, : x3*x7 + x3 + x7, : x2*x7 + x6 + 1, : x3*x6 + x3*x7 + x3 + x6 + 1, : x2*x7 + x3*x6 + x7, : x2*x6 + x2*x7 + x3*x7 + x3, : x2*x7 + x2 + x3*x7 + x3 + x7, : x2*x6 + x3*x6 + x3, : x2*x7 + x3 + x6 + x7 + 1, : x2*x6 + x2 + x3*x7, : x2*x6 + x2 + x3*x6 + x3 + x7] sage: I=ideal(e) sage: I.dimension() 0 sage: I2=ideal(I.groebner_basis()) sage: V=I2.variety() sage: V [{x2: 0, x7: 0, x6: 1, x3: 0}] Substitution of variables in a polynomial ideal *and* carrying it to a smaller polynomial ring seems to be a common problem. The subs-method does the substitution but keeps the ring: sage: I.subs({x2:0}) Ideal (x2*x7 + x2 + x3*x6 + x3*x7 + x3, x3*x7 + x3 + x7, x2*x7 + x6 + 1, x3*x6 + x3*x7 + x3 + x6 + 1, x2*x7 + x3*x6 + x7, x2*x6 + x2*x7 + x3*x7 + x3, x2*x7 + x2 + x3*x7 + x3 + x7, x2*x6 + x3*x6 + x3, x2*x7 + x3 + x6 + x7 + 1, x2*x6 + x2 + x3*x7, x2*x6 + x2 + x3*x6 + x3 + x7) of Multivariate Polynomial Ring in x2, x3, x6, x7 over Finite Field of size 2 Question to everybody: Is there a method that substitutes, say, x2=0 and returns an ideal in a polynomial ring over x3, x6, x7? If not, do you agree that such method (called, say, specialisation) would be useful? Cheers Simon --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] problem with emacs
hello, i'm trying to get emacs to work with sage (i know, i was recently on this forum saying that gedit was underrated and as good as emacs... well i'm back on good old emacs anyway) i've got a fresh install of sage 3.1.4. I've followed the instructions given on http://wiki.sagemath.org/sage-mode I took the current version, and did as i was told. Problem is, C-c C-c still calls python instead of sage ! (and of course it complains that it doesn't understand load). When i try C-h m and look at the help it does say C-c C-c sage-send-buffer and below C-c C-c python-send-buffer (that binding is currently shadowed by another mode) I've looked at sage-mode.el and sage-send-command does look like it relies on python-send-command, i've got to say (but i'm not very good with lisp). Help anyone ? thanks !! pierre --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: Groebner basis, Ideal dimension and Variety
I have to deal with this a lot, and I've gotten used to it but it annoys me. More support for specialization would be great. I am not that good with the guts of the polynomial ring code and singular or I would have dealt with it already. I would be happy to review patches related to this. -M. Hampton On Oct 29, 10:01 am, Simon King [EMAIL PROTECTED] wrote: Hi! On Oct 29, 4:34 pm, vpv [EMAIL PROTECTED] wrote: The dimension of the ideal of the groebner basis of the new system is 4 and not 0? Why? Since you are still in a ring with 8 (and not 4) variables. snip What i do next i set: x[0]=P(0) x[1]=P(1) x[4]=P(1) x[5]=P(0) Then my new system is: sage: e [x2*x7 + x2 + x3*x6 + x3*x7 + x3, x3*x7 + x3 + x7, x2*x7 + x6 + 1, x3*x6 + x3*x7 + x3 + x6 + 1, x2*x7 + x3*x6 + x7, x2*x6 + x2*x7 + x3*x7 + x3, x2*x7 + x2 + x3*x7 + x3 + x7, x2*x6 + x3*x6 + x3, x2*x7 + x3 + x6 + x7 + 1, x2*x6 + x2 + x3*x7, x2*x6 + x2 + x3*x6 + x3 + x7] Apparently x2,x3,... are still generators of your original polynomial ring P -- and P has 8 variables, even though the new system of polynomials e uses only four of them. Defining a new ring with only the surviving variables has the expected result: sage: P.x2,x3,x6,x7 = PolynomialRing(GF(2), 4, 'x',order='lex') sage: e = [x2*x7 + x2 + x3*x6 + x3*x7 + x3, : x3*x7 + x3 + x7, : x2*x7 + x6 + 1, : x3*x6 + x3*x7 + x3 + x6 + 1, : x2*x7 + x3*x6 + x7, : x2*x6 + x2*x7 + x3*x7 + x3, : x2*x7 + x2 + x3*x7 + x3 + x7, : x2*x6 + x3*x6 + x3, : x2*x7 + x3 + x6 + x7 + 1, : x2*x6 + x2 + x3*x7, : x2*x6 + x2 + x3*x6 + x3 + x7] sage: I=ideal(e) sage: I.dimension() 0 sage: I2=ideal(I.groebner_basis()) sage: V=I2.variety() sage: V [{x2: 0, x7: 0, x6: 1, x3: 0}] Substitution of variables in a polynomial ideal *and* carrying it to a smaller polynomial ring seems to be a common problem. The subs-method does the substitution but keeps the ring: sage: I.subs({x2:0}) Ideal (x2*x7 + x2 + x3*x6 + x3*x7 + x3, x3*x7 + x3 + x7, x2*x7 + x6 + 1, x3*x6 + x3*x7 + x3 + x6 + 1, x2*x7 + x3*x6 + x7, x2*x6 + x2*x7 + x3*x7 + x3, x2*x7 + x2 + x3*x7 + x3 + x7, x2*x6 + x3*x6 + x3, x2*x7 + x3 + x6 + x7 + 1, x2*x6 + x2 + x3*x7, x2*x6 + x2 + x3*x6 + x3 + x7) of Multivariate Polynomial Ring in x2, x3, x6, x7 over Finite Field of size 2 Question to everybody: Is there a method that substitutes, say, x2=0 and returns an ideal in a polynomial ring over x3, x6, x7? If not, do you agree that such method (called, say, specialisation) would be useful? Cheers Simon --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: datatype inconsistensity bug or feature?
On Wed, Oct 29, 2008 at 9:05 AM, Georg [EMAIL PROTECTED] wrote: Hi Robert, thanks again, and sorry, my question was not well posed, fortunately (as a mathematician) I know what an isomorphism is :-), when I asked what does this exactly mean I actually wanted to know if in the cases 'sqrt(5. + RDF(5))' and 'sqrt(RDF(5) + 5.)' computation is performed by two different implementations of sqrt (gsl and mpfr) ? Yes, there are two different implementations of sqrt. which would mean that sage could be non-commutative in some pathological cases (or simply if one of the implementations is buggy), this would be an inconsistency which is not comparable with non- associativity etc., because the latter obviously can't be avoided since fixed precision reals do not form a field ... True. William thanks, Georg -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: new user: latex fails
On Wed, Oct 29, 2008 at 8:44 AM, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Dear sage users, I installed sage and texlive on my small virtual server. LaTeXing does not work: %latex Ahoj gives WARNING: Output truncated! full_output.txt An error occured. This is pdfeTeX, Version 3.141592-1.30.5-2.2 (Web2C 7.5.5) (format=latex 2008.10.29) 29 OCT 2008 11:38 entering extended mode **\nonstopmode \input{sage10.tex} (./sage10.tex (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo File: size10.clo 2004/02/16 v1.4f Standard LaTeX file (size option) ) [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texmf-texlive/tex/latex/fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/usr/share/texmf-texlive/tex/latex/amslatex/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features [EMAIL PROTECTED] For additional information on amsmath, use the `?' option. (/usr/share/texmf-texlive/tex/latex/amslatex/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf-texlive/tex/latex/amslatex/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 [EMAIL PROTECTED] [EMAIL PROTECTED] )) (/usr/share/texmf-texlive/tex/latex/amslatex/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d [EMAIL PROTECTED] ) (/usr/share/texmf-texlive/tex/latex/amslatex/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) [EMAIL PROTECTED] LaTeX Info: Redefining \frac on input line 211. [EMAIL PROTECTED] [EMAIL PROTECTED] LaTeX Info: Redefining \overline on input line 307. [EMAIL PROTECTED] [EMAIL PROTECTED] LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] LaTeX Font Info:Redeclaring font encoding OML on input line 567. LaTeX Font Info:Redeclaring font encoding OMS on input line 568. [EMAIL PROTECTED] ... [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] (/usr/share/texmf-texlive/tex/generic/pstricks/pstricks.con) \psunit=\dimen120 \psxunit=\dimen121 \psyunit=\dimen122 \pslinewidth=\dimen123 [EMAIL PROTECTED] \pslinearc=\dimen124 \everypsbox=\toks22 \psframesep=\dimen125 \pslabelsep=\dimen126 [EMAIL PROTECTED] [EMAIL PROTECTED] \theoverlaybox=\box30 ) File: pstricks.tex 2005/10/25 v1.12 `PSTricks' (tvz) (/usr/share/texmf-texlive/tex/latex/graphics/color.sty Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC) (/usr/share/texmf-texlive/tex/latex/config/color.cfg File: color.cfg 2001/08/31 v1.1 color configuration of teTeX/TeXLive ) Package color Info: Driver file: dvips.def on input line 125. (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) ))) No file sage10.aux. \openout1 = `sage10.aux'. LaTeX Font Info:Checking defaults for OML/cmm/m/it on input line 4. LaTeX Font Info:... okay on input line 4. LaTeX Font Info:Checking defaults for T1/cmr/m/n on input line 4. LaTeX Font Info:... okay on input line 4. LaTeX Font Info:Checking defaults for OT1/cmr/m/n on input line 4. LaTeX Font Info:... okay on input line 4. LaTeX Font Info:Checking defaults for OMS/cmsy/m/n on input line 4. LaTeX Font Info:... okay on input line 4. LaTeX Font Info:Checking defaults for OMX/cmex/m/n on input line 4. LaTeX Font Info:... okay on input line 4. LaTeX Font Info:Checking defaults for U/cmr/m/n on input line 4. LaTeX Font Info:... okay on input line 4. [1 ] (./sage10.aux) ) Here is how much of TeX's memory you used: 2486 strings out of 95213 29174 string characters out of 1185475 86506 words of memory out of 100 5641 multiletter control sequences out of 1+5 3640 words of font info for 14 fonts, out of 50 for 2000 28 hyphenation exceptions out of 8191 28i,5n,24p,284b,112s stack positions out of 1500i,500n,5000p,20b,5000s Output written on sage10.dvi (1 page, 332 bytes). Error latexing slide. WARNING: Output truncated! full_output.txt An error occured. This is pdfeTeX, Version 3.141592-1.30.5-2.2 (Web2C 7.5.5) (format=latex 2008.10.29) 29 OCT 2008 11:38 entering extended mode **\nonstopmode \input{sage10.tex} (./sage10.tex (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo File: size10.clo 2004/02/16 v1.4f Standard LaTeX file (size option) ) [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL
[sage-support] Re: new user: latex fails
Thanks for the answer. I have debian etch with 5G harddisk which seems to be minimal for sage :( FilesystemSize Used Avail Use% Mounted on /dev/hda1 4.6G 4.0G 360M 92% / I installed maxima, maxima-shared, texlive-base, texlive-base, texlive-pstricks, texlive-latex, texlive-latex-base, texlive-latex- recommended, fullpage.sty (probably from texlive-latex-extra, but I installed just this one file to save space on my disk) and gnuplot The TeX file alone compiles fine. The dvips also works as expected. dvipng was missing in my installation, so I installed it just now. Unfortunately I have a text accces only from my home and I will test if this helps tomorow in my work. beamer is not installed, but I hope that it will be not necessary for %latex (not %slide) Thank you for the answer, I will investigate your suggestions Robert Marik I don't know why it's not working, and I can't tell anything from the cryptic latex error message above which to me says nothing except it didn't work. You might try installing dvipng and making sure that the latex beamer package is installed (which gets used by %slide, not %latex). I'm very puzzled. Which version of linux is on your server? Can you latex documents yourself...? Can you try latexing sage10.tex generated above (it can be tricky to find that file; if you need help, let me know)? William --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: new user: latex fails
On Wed, Oct 29, 2008 at 1:38 PM, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Thanks for the answer. I have debian etch with 5G harddisk which seems to be minimal for sage :( The sage-vmware image that we distribute which is an ubuntu install, sage, latex, etc., takes only 2.3GB. I am careful to replace the spkg files in spkg/standard by empty files (with the same names), and make sure things like /var/cache/apt/ aren't full of junk. FilesystemSize Used Avail Use% Mounted on /dev/hda1 4.6G 4.0G 360M 92% / I installed maxima, maxima-shared, texlive-base, texlive-base, texlive-pstricks, texlive-latex, texlive-latex-base, texlive-latex- recommended, fullpage.sty (probably from texlive-latex-extra, but I installed just this one file to save space on my disk) and gnuplot I don't install maxima into sage-vmware, since Sage already includes maxima. The TeX file alone compiles fine. The dvips also works as expected. dvipng was missing in my installation, so I installed it just now. Unfortunately I have a text accces only from my home and I will test if this helps tomorow in my work. beamer is not installed, but I hope that it will be not necessary for %latex (not %slide) It shouldn't be needed. Thank you for the answer, I will investigate your suggestions Robert Marik I don't know why it's not working, and I can't tell anything from the cryptic latex error message above which to me says nothing except it didn't work. You might try installing dvipng and making sure that the latex beamer package is installed (which gets used by %slide, not %latex). I'm very puzzled. Which version of linux is on your server? Can you latex documents yourself...? Can you try latexing sage10.tex generated above (it can be tricky to find that file; if you need help, let me know)? William -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: new user: latex fails
On Oct 29, 8:44 am, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Dear sage users, I installed sage and texlive on my small virtual server. LaTeXing does not work: %latex Ahoj This looks like an earlier message: see the 4th message in the thread http://groups.google.com/group/sage-support/browse_frm/thread/ 63d5f42d0412fd88/7920f4ece8c4883b?lnk=gstq=latex+error +slide#7920f4ece8c4883b (or if the line breaks screw up the link, search this group for latex error slide). The poster managed to fix the problem, saying ok, it's working, I installed imagemagick, tex4ht, gv, gs (following the March 12 sage-devel latex in notebook instructions) (The point in the March 12 thread (search sage-devel for latex notebook) was that dvipng needed to be installed, and installing some subset of these packages was one way to do it.) --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Apostrophe in docstring?
Hello support, I came across some very strange behavior recently regarding docstrings in functions. In the notebook in 3.2.alpha0 and 3.0.6, putting an apostrophe in the docstring causes various bugs. It doesn't have to be in any particular spot, as far as I can tell; in fact, it took a long time to pinpoint this as the source of the problem! More precisely, it seems to cause the preparser to turn off or something, because it disallows the following (in the function definition): f(x)=x^3 because of the f(x), and f=x^3 because of the ^ used instead of ** (the error message for the first is very mysterious at times, but the second one is always clear when you try to use the function). I can post a link to a worksheet if it's really necessary, but hopefully this will be enough for someone to help. I checked Sage and Python docs about documentation strings, but couldn't find anything about it being bad to have apostrophes; in fact, some Sage docstrings have them (e.g. for declaring variables). I didn't try this in the command line, so it is possible it's only a notebook issue. Thanks for any help! - kcrisman --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: Apostrophe in docstring?
Hi kcrisman, kcrisman wrote: Hello support, I came across some very strange behavior recently regarding docstrings in functions. In the notebook in 3.2.alpha0 and 3.0.6, putting an apostrophe in the docstring causes various bugs. It doesn't have to be in any particular spot, as far as I can tell; in fact, it took a long time to pinpoint this as the source of the problem! More precisely, it seems to cause the preparser to turn off or something, because it disallows the following (in the function definition): f(x)=x^3 because of the f(x), and f=x^3 because of the ^ used instead of ** (the error message for the first is very mysterious at times, but the second one is always clear when you try to use the function). It seems to work fine for me with 3.1.4, both the notebook and command-line versions. I'm a bit clueless about your issue. I can post a link to a worksheet if it's really necessary, but hopefully this will be enough for someone to help. [...] Yes. Could you please post the said link. I really want to know what caused the problem you're describing. -- Regards Minh Van Nguyen Web: http://nguyenminh2.googlepages.com Blog: http://mvngu.wordpress.com --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: Using Sage on Windows
On Oct 27, 2008, at 23:32 , William Stein wrote: On Mon, Oct 27, 2008 at 7:26 PM, Jason Grout [EMAIL PROTECTED] wrote: Justin C. Walker wrote: [snip] I believe that it will be uploaded/downloaded to the $DATA directory, so it could be attached with: attach $DATA/filename.sage I haven't tried, it, though. You can upload a file just like an image into a given worksheet, and it appears in the data directory. Then I think you can do attach filename.sage (without the $DATA). I'm pretty sure that works in recent versions of Sage. I did a little more poking today, based on helpful comments from William, Jason, and Timothy. Part of my problem is I can't read Japanese so well, so the going is slow :-} After a little probing, I think I understand the way it works. I have a couple of questions to clarify a few points: - I use the Data popup to get the file in question from the client (windows system) to the server (VMWare/Linux virtual system). The resulting webpage says that I can refer to the newly uploaded file by DATA+foo, foo being the name of the file. When I subsequently did an attach from the notebook, I just typed attach foo and it worked. Question: When do I use DATA+? - To develop sage code (i.e., stuff in .sage files), there seems to be two ways to go: 1. Get an ssh client and ssh into the VMWare system, and use Linux editors. The 'attach' will keep reloading the modified file. 2. Use a windows editor, and repeatedly upload and save the file. The 'attach' will keep reloading the modified file. Question: Is this correct? Thanks as always. Justin -- Justin C. Walker, Curmudgeon at Large Institute for the Absorption of Federal Funds --- My wife 'n kids 'n dogs are gone, I can't get Jesus on the phone, But Ol' Milwaukee's Best is my best friend. --- --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: Using Sage on Windows
On Wed, Oct 29, 2008 at 9:33 PM, Justin C. Walker [EMAIL PROTECTED] wrote: On Oct 27, 2008, at 23:32 , William Stein wrote: On Mon, Oct 27, 2008 at 7:26 PM, Jason Grout [EMAIL PROTECTED] wrote: Justin C. Walker wrote: [snip] I believe that it will be uploaded/downloaded to the $DATA directory, so it could be attached with: attach $DATA/filename.sage I haven't tried, it, though. You can upload a file just like an image into a given worksheet, and it appears in the data directory. Then I think you can do attach filename.sage (without the $DATA). I'm pretty sure that works in recent versions of Sage. I did a little more poking today, based on helpful comments from William, Jason, and Timothy. Part of my problem is I can't read Japanese so well, so the going is slow :-} After a little probing, I think I understand the way it works. I have a couple of questions to clarify a few points: - I use the Data popup to get the file in question from the client (windows system) to the server (VMWare/Linux virtual system). The resulting webpage says that I can refer to the newly uploaded file by DATA+foo, foo being the name of the file. When I subsequently did an attach from the notebook, I just typed attach foo and it worked. Yep, because I added some code recently so that would just work. Doing attach DATA+foo won't, since attach isn't smart enough to evaluate it's arguments. Question: When do I use DATA+? If you attached e.g., a big table of numbers foo.dat, and in your python code wanted to do open('foo.dat').read() it would fail, since the open command is not run in the DATA directory. Instead do open(DATA + '/foo.dat').read() - To develop sage code (i.e., stuff in .sage files), there seems to be two ways to go: 1. Get an ssh client and ssh into the VMWare system, and use Linux editors. The 'attach' will keep reloading the modified file. True. 2. Use a windows editor, and repeatedly upload and save the file. The 'attach' will keep reloading the modified file. True. Question: Is this correct? 3. There is also a way to edit a file under Windows and have it automatically get uploaded via scp into the virtual machine whenever it is saved. I think http://winscp.net nicely supports this. 4. Using VMware workstation's shared folders feature, which makes it so sage under vmware can read/write the files that you have under windows, then use a standard windows editor on those windows files. If you can set it up, I think 4 is the best. william Thanks as always. Justin -- Justin C. Walker, Curmudgeon at Large Institute for the Absorption of Federal Funds --- My wife 'n kids 'n dogs are gone, I can't get Jesus on the phone, But Ol' Milwaukee's Best is my best friend. --- -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---