[sage-combinat-devel] RSK for type B
- Forwarded message from Aba Mbirika ambir...@bowdoin.edu - Does anyone know if any RSK algorithm code has been written for type B signed permutations. Stanton-White give a generalized RSK for k-rim hook tableaux. When k=2, this basically amounts to a bijective map from signed permutations onto the set of pairs of standard young bitableaux ( (P_1,P_2), (Q_1,Q_2) ), where the P_i and Q_i have the same shape. And the tuple (P_i,Q_i) is just the standard type-A RSK image of the positively-signed and negatively-signed entries of the signed permutation, respectively, for i=1,2. I am very familiar with the algorithm as I've been doing it by hand for some time now, but I would like to do more computations and the hand-technique seems no longer feasible. Does anyone know if this has already been coded in Sage or otherwise? The image of this generalized map may also appear as pairs of same-shape domino tableaux of sufficiently-large sized core. Thank you, Aba Mbirika (ambir...@bowdoin.edu) Postdoctoral Fellow at Bowdoin College www.bowdoin.edu/~ambirika - End forwarded message - Nicolas -- Nicolas M. Thiéry Isil nthi...@users.sf.net http://Nicolas.Thiery.name/ -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
[sage-combinat-devel] Segfault in DiGraph.automorphism_group
Hi there, I want to report a segfault in DiGraph.automorphism_group. On my machine the following code creates a segfault if finite_semigroup-nt.patch is applied and works if not. sage: G = DiGraph() sage: G.add_vertices([1, 6, 9]) sage: G.add_edges([(9, 1, None), (9, 6, None)]) sage: G.automorphism_group() Can someone confirm that the segfault happen on other machine ? For Nicolas: could it be related to the recent work on categories ? We (Nicolas myself) tracked back the segfault and found that it was triggered by the category system but it should have nothing to do with it. The problem seems to been raised by an early import of DiGraph. Here is a simple way to trigger the segfault: Starts from vanilla sage-4.7.2 together with the following patch: # HG changeset patch # Parent 9e29a3d84c48c399daaf3920bcb8b17273a0e876 diff --git a/sage/categories/all.py b/sage/categories/all.py --- a/sage/categories/all.py +++ b/sage/categories/all.py @@ -39,6 +39,8 @@ from finite_monoids import FiniteMonoids from finite_groups import FiniteGroups from finite_permutation_groups import FinitePermutationGroups +from sage.graphs.digraph import DiGraph + # fields from number_fields import NumberFields Then, sage: DiGraph().automorphism_group() Kaboom !!! I don't think I'll have time to investigate this further. Should I open a ticket ? Cheers, Florent -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
Re: [sage-devel] Transitivity of coercions between finite rings
On Mon, Nov 21, 2011 at 11:36 PM, William Stein wst...@gmail.com wrote: On Mon, Nov 21, 2011 at 4:50 PM, David Roe r...@math.harvard.edu wrote: The coercion graph in Sage is supposed to be transitive. This assumption is explicit in the documentation of sage.structure.coerce for example. But we have the following: sage: R = Zmod(6) sage: S = Zmod(3) sage: T = GF(3) sage: T.has_coerce_map_from(S) True sage: S.has_coerce_map_from(R) True sage: T.has_coerce_map_from(R) False I think that should return True, since there is a canonical map from Z/6Z to GF(3). Any opinions on which of these results should change? I'm thinking about such coercions between finite rings in the context of residue fields and quotients of p-adic rings, so you can also ask yourself if you want a coercion from Zmod(250) to Zp(5).quotient(5^3). I want such a coercion, since again there is a canonical map Z/250Z -- Z/5^3Z \isom Z_5 / 5^3 Z_5. +1. My thoughts exactly. - Robert -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Maxima vs Ginac numerator semantic
Hi There, Follow up from thread indexed symbolic variables. Do we have to call Maxima to compute the numerator of a rational fraction ? Is seems to me that Pynac/Ginac should be able to do it by themselves. Unfortunately, we still call maxima for a lot of trivial operations. This is now #12068 To speedup some computation I'm trying to wrap Ginac numer and denom method. Thanks to Cython, this is very easy. However, Maxima and Ginac have a different semantic for those two functions: - Maxima: Does not change the expression; if the expression is not a quotient, then this will return the expression itself. - Ginac: try to normalize the expression to put it in the form N/D and then return N; For example, with an expression such as x + y/(x + 2), - Maxima: numer = x + y/(x + 2), denom = 1 - Ginac: numer = (x^2 + 2x + y), denom = x + 2 I can more or less emulate Maxima's behavior with Ginac, but I'm not sure what's best to do. I see several options: 1 - Forget about Maxima and follows Ginac semantic; 2 - Follows Maxima semantic as close as possible using Ginac; 3 - Have a parameter 'algorithm' to select the needed one. Depending one the algorithm the semantic differ; 4 - Have a parameter 'normal' to select if we normalize or nor the result before computing the numerator, always use Ginac however. 5 - 3 and 4, have two parameters, one for selecting Maxima or Ginac, one for performing a normalization before. 6 - other options ??? In case 3, 4, 5, we also should decide what is the default. What do you think ? Cheers, Florent -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Groupe d'Utilisateurs de Sage en région parisienne - sage user group near Paris
On Mon, Nov 21, 2011 at 08:57:32PM +0100, Julien Puydt wrote: Here is a rough translation, as asked. I hope that helps, Thanks for the translation :-) Nicolas -- Nicolas M. Thiéry Isil nthi...@users.sf.net http://Nicolas.Thiery.name/ -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: Groupe d'Utilisateurs de Sage en région parisienne
Dear all, I'm very interested in such a group/meetings. In fact we kind of got a similar idea with Luca de Feo at ECC2011, but it never got further than an informal discussion since then. So I'd guess he would be also interested. I used to work at Télécom ParisTech and still have a foot there as long as I don't have defended my phd thesis, and surely for some time afterwards. I'd be glad if some of the meetings could take place there, I would of course take care of all the technical stuff (I'm still able to book rooms and so on). I think that at least two ass. profs working there would be interested in such meetings as well. Cheers, JP On 21 nov, 18:07, Nicolas M. Thiery nicolas.thi...@u-psud.fr wrote: Bonjour, Avec quelques autres utilisateurs et d veloppeurs de Sage [1] Orsay et Jussieu, nous souhaitons lancer un groupe d'utilisateurs de Sage qui se r unira r guli rement en r gion Parisienne. Une s ance typique comportera un expos d'introduction accompagn e d'un tutoriel, suivi d'un groupe de travail o les participants s'entraideront sur leurs probl mes. http://wiki.sagemath.org/GroupeUtilisateursParis La g om trie pr cise, spatiale, temporelle et th matique, reste d finir, selon les int r ts des participants venir. Dans un premier temps, nous pr voyons d'alterner entre Jussieu et Orsay, environ un jeudi apr s-midi par mois, la premi re s ance ayant lieu Jussieu courant janvier (nous ferons une annonce lorsque la date sera fix e). D'autres sites sont les bienvenus, ainsi que tous les logiciels libres pour les math matiques . Si vous souhaitez tre inform s des s ances ult rieures, merci d'envoyer un mail nicolas.thi...@u-psud.fr, et de pr ciser les th mes sur lesquels vous souhaiteriez assister des expos s d'introduction ou tutoriels, ou sur lesquels vous pourriez vous m me pr senter un expos ou tutoriel (Sage, Sage-Combinat, Python Scientifique, Mathemagix, GAP, Pari). Vous pouvez aussi diter l'embryon de liste sur le wiki ci-dessus. Pour information, une s ance pr paratoire aura lieu Orsay, ce jeudi 24 novembre 14h, dans la salle commune du troisi me tage du b timent de Math matiques 425. Vous y tes bienvenu. Librement v tre, Nicolas [1] Sage est un logiciel libre de math matiques sous licence GPL. Il combine la puissance de nombreux programmes libres dans une interface commune bas e sur le langage de programmation Python. Sa mission est de cr er une alternative viable libre et open source Magma, Maple, Mathematica et Matlab. http://www.sagemath.fr/ http://www.sagemath.org http://sagemath-edu.fr/wiki/ -- Nicolas M. Thi ry Isil nthi...@users.sf.nethttp://Nicolas.Thiery.name/ -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: torrent question
I disagree that metalinks are better than torrents. Metalinks may be standardized but bittorrent clients do not care about them and most people don't have a program that can download metalinks (at least in 2011), whereas almost everyone (in my experience) has a bittorrent client. The good news is that the .torrent file format already supports web seeds (since a few years ago) which as the name suggests allow you to put an HTTP URI inside the .torrent file as a web-based seed which a torrent client can fall back to when there are no other seeds on the torrent. We should offer .torrent files with our HTTP download locations listed in the .torrent file as web seeds. Metalink files should be an alternative for those who actually have a metalink client. I know that I for one was pretty surprised to find metalinks but no torrents on sagemath.org when I first downloaded Sage. I ended up just downloading by HTTP since I couldn't be bothered to install aria2. There are also other ways that you can more intelligently do automated seeding of torrents, by the way; you could just run a daemon on boxen.math.washington.edu which connects to our torrents' swarms and throttles uploading if there are enough other seeds around. This will mitigate the possibility of the whole torrent just turning upon boxen and downloading from it, which offers us no bandwidth savings over just the HTTP downloads (though this is unlikely to happen anyway when using the .torrent file web seed field instead of installing a bittorrent client on boxen, assuming users' bittorrent clients are well-designed). -Keshav Join us in #sagemath on irc.freenode.net ! -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: Transitivity of coercions between finite rings
+1 On Nov 22, 9:00 am, Robert Bradshaw rober...@math.washington.edu wrote: On Mon, Nov 21, 2011 at 11:36 PM, William Stein wst...@gmail.com wrote: On Mon, Nov 21, 2011 at 4:50 PM, David Roe r...@math.harvard.edu wrote: The coercion graph in Sage is supposed to be transitive. This assumption is explicit in the documentation of sage.structure.coerce for example. But we have the following: sage: R = Zmod(6) sage: S = Zmod(3) sage: T = GF(3) sage: T.has_coerce_map_from(S) True sage: S.has_coerce_map_from(R) True sage: T.has_coerce_map_from(R) False I think that should return True, since there is a canonical map from Z/6Z to GF(3). Any opinions on which of these results should change? I'm thinking about such coercions between finite rings in the context of residue fields and quotients of p-adic rings, so you can also ask yourself if you want a coercion from Zmod(250) to Zp(5).quotient(5^3). I want such a coercion, since again there is a canonical map Z/250Z -- Z/5^3Z \isom Z_5 / 5^3 Z_5. +1. My thoughts exactly. - Robert -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Maxima vs Ginac numerator semantic
Hi Florent, On Tue, 22 Nov 2011 09:04:13 +0100 Florent Hivert florent.hiv...@lri.fr wrote: Follow up from thread indexed symbolic variables. Do we have to call Maxima to compute the numerator of a rational fraction ? Is seems to me that Pynac/Ginac should be able to do it by themselves. Unfortunately, we still call maxima for a lot of trivial operations. This is now #12068 To speedup some computation I'm trying to wrap Ginac numer and denom method. Thanks to Cython, this is very easy. However, Maxima and Ginac have a different semantic for those two functions: - Maxima: Does not change the expression; if the expression is not a quotient, then this will return the expression itself. - Ginac: try to normalize the expression to put it in the form N/D and then return N; For example, with an expression such as x + y/(x + 2), - Maxima: numer = x + y/(x + 2), denom = 1 - Ginac: numer = (x^2 + 2x + y), denom = x + 2 I can more or less emulate Maxima's behavior with Ginac, but I'm not sure what's best to do. I see several options: 1 - Forget about Maxima and follows Ginac semantic; 2 - Follows Maxima semantic as close as possible using Ginac; 3 - Have a parameter 'algorithm' to select the needed one. Depending one the algorithm the semantic differ; 4 - Have a parameter 'normal' to select if we normalize or nor the result before computing the numerator, always use Ginac however. 5 - 3 and 4, have two parameters, one for selecting Maxima or Ginac, one for performing a normalization before. 6 - other options ??? In case 3, 4, 5, we also should decide what is the default. What do you think ? I like 4 best, though I suggest calling the parameter 'normalize.' How do you plan to handle normalize=False? I suggest if the expression is not a mul: return self else: separate the positive and negative exponents Thank you. Cheers, Burcin -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Re: Groupe d'Utilisateurs de Sage en région parisienne
On Tue, Nov 22, 2011 at 12:49:04AM -0800, Jean-Pierre Flori wrote: I'm very interested in such a group/meetings. In fact we kind of got a similar idea with Luca de Feo at ECC2011, but it never got further than an informal discussion since then. So I'd guess he would be also interested. :-) I used to work at Télécom ParisTech and still have a foot there as long as I don't have defended my phd thesis, and surely for some time afterwards. I'd be glad if some of the meetings could take place there, I would of course take care of all the technical stuff (I'm still able to book rooms and so on). I think that at least two ass. profs working there would be interested in such meetings as well. Ok. Thanks for the feedback! Cheers, Nicolas -- Nicolas M. Thiéry Isil nthi...@users.sf.net http://Nicolas.Thiery.name/ -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: development of a framework for numeral systems
On Nov 21, 2:59 am, William Stein wst...@gmail.com wrote: Why are you planning to build a framework for numeral systems (I'm not sure what that means, by the way)? What is the motivation for _you_ doing this? I think explaining that would be extremely helpful in evaluating this proposal. A simple example of a numeral system is the following: take an integer q, digits 0,...,q-1. Then each integer can be represented as finite sum \sum_0^N d_n q^n where die d_n are digits. But there are a lot of other numeral systems (other bases, other digit sets). Some of them have some nice applications: For example, take an imaginary quadratic integer as base, and a suitable digit set, then you can use it to build multiples of a point of an elliptic curve over a finite field efficiently. (base corresponds to a zero of the characteristic polynomial of the Frobenius on the point group; use a Frobenius-and-add method). I'm working with such numeral systems and I need an implementation in some (mathematics) software for my research. But it seems, that there is no such thing in one of the known software packages and everyone who needs implementation does it on his own. At the moment I plan to implement some of the standard numeral systems algorithms (e.g. for calculating the digits) in Sage. I want to do that in a general and flexible way, such that it can be used for a lot of other numeral systems as well. The presented framework is now a result of this generalization process. It should cover more or less all numeral systems used somewhere. When such a framework exists, one can easily implement algorithms for a special numeral system, but can also use all the other general methods provided by the framework. Also, is there similar functionality in Mathematica or Maple? No, there isn't any (except for calculating the digits in the standard numeral system described above (simple example)). Daniel -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Symbolic nth_root()
On Sun, 20 Nov 2011 18:16:18 -0800 William Stein wst...@gmail.com wrote: On Sun, Nov 20, 2011 at 5:52 AM, Jeroen Demeyer jdeme...@cage.ugent.be wrote: When searching sage-support, there are several threads about people complaining they cannot plot x^(1/3) or similar on the negative axis because (-1)^(1/3) is a complex number, not a real number. The answer is to plot something like lambda x:RR(x).nth_root(3). This is not very satisfactory because this is not a symbolic function, so I can't differentiate it for example. It is also more complicated and hard to explain to beginners using Sage. So I think the question still remains: is there something like a symbolic nth_root() function? Or, alternatively, a way of evaluating the symbolic expression x^(1/3) yielding only real numbers with real input? Such functionality would certainly be desirable. I don't think it exists, The symbolic functionality in Sage is supposed to make it easy for users to define a new symbolic function at runtime, including how that function gets simplified. This is supposed to not involve any C++ coding with Pynac. So it _should_ be easy to add what you suggest. Maybe Burcin can pipe up. Here is a symbolic function which wraps RR.nth_root(): from sage.symbolic.function import BuiltinFunction, is_inexact from sage.symbolic.expression import Expression from sage.structure.coerce import parent class RealNthRoot(BuiltinFunction): def __init__(self): BuiltinFunction.__init__(self, real_nth_root, nargs=2) def _eval_(self, base, exp): if (not isinstance(base, Expression) and is_inexact(base)) or \ (not isinstance(exp, Expression) and is_inexact(exp)): self._evalf_(base, exp, parent=parent(base)) def _evalf_(self, base, exp, parent=None): if isinstance(base, float): return RR(base).nth_root(exp) try: return base.nth_root(exp) except AttributeError: return base**(1/exp) return parent(base)**parent(exp) The code is also here: http://sage.math.washington.edu/home/burcin/real_nth_root.py I can plot this without trouble: sage: attach real_nth_root.py sage: real_nth_root = RealNthRoot() sage: v = real_nth_root(x, 3) sage: plot(v, (x, -1, 1)) firefox displays the plot Cheers, Burcin -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] sage on hawk
Hi, I'm trying to build Sage 4.8.2-alpha2 on David Kirkby's OpenSolaris box (hawk), but it fails at ECL: ld.so.1: ecl_min: fatal: libffi.so.4: open failed: No such file or directory make[3]: *** [bin/ecl] Killed make[3]: Leaving directory `/export/home/martina/sage-4.8.alpha2/spkg/build/ecl-11.1.1.p3/src/build' make[2]: *** [all] Error 2 make[2]: Leaving directory `/export/home/martina/sage-4.8.alpha2/spkg/build/ecl-11.1.1.p3/src' Error - Failed to build ECL ... exiting The buildbot uses it, so I must be doing something wrong, my question now: what? :) Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: sage on hawk
Maybe you can tell us which environment variables you have set up? Do you have something akin to LD_LIBRARY_PATH=/usr/local/gcc-4.5.0/lib:/usr/local/gcc-4.5.0/lib/amd64 On Tuesday, November 22, 2011 12:08:55 PM UTC, Martin Albrecht wrote: I'm trying to build Sage 4.8.2-alpha2 on David Kirkby's OpenSolaris box (hawk), but it fails at ECL -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Re: sage on hawk
On Tuesday 22 November 2011, Volker Braun wrote: Maybe you can tell us which environment variables you have set up? Do you have something akin to LD_LIBRARY_PATH=/usr/local/gcc-4.5.0/lib:/usr/local/gcc-4.5.0/lib/amd64 Hi, sorry for omitting this earlier, I have: LD_LIBRARY_PATH=/usr/local/gcc-4.5.0/lib:/usr/local/gcc-4.5.0/lib/amd64/ PATH=/usr/local/bins-for- sage/:/usr/local/bin:/usr/local/gcc-4.5.0/bin/:/usr/bin:/bin I didn't actually have LD_LIBRARY_PATH before but now, when I set it it still fails. On Tuesday, November 22, 2011 12:08:55 PM UTC, Martin Albrecht wrote: I'm trying to build Sage 4.8.2-alpha2 on David Kirkby's OpenSolaris box (hawk), but it fails at ECL Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Maxima vs Ginac numerator semantic
method. Thanks to Cython, this is very easy. However, Maxima and Ginac have a different semantic for those two functions: - Maxima: Does not change the expression; if the expression is not a quotient, then this will return the expression itself. - Ginac: try to normalize the expression to put it in the form N/D and then return N; For example, with an expression such as x + y/(x + 2), - Maxima: numer = x + y/(x + 2), denom = 1 - Ginac: numer = (x^2 + 2x + y), denom = x + 2 I can more or less emulate Maxima's behavior with Ginac, but I'm not sure what's best to do. I see several options: 1 - Forget about Maxima and follows Ginac semantic; 2 - Follows Maxima semantic as close as possible using Ginac; 3 - Have a parameter 'algorithm' to select the needed one. Depending one the algorithm the semantic differ; 4 - Have a parameter 'normal' to select if we normalize or nor the result before computing the numerator, always use Ginac however. 5 - 3 and 4, have two parameters, one for selecting Maxima or Ginac, one for performing a normalization before. 6 - other options ??? In case 3, 4, 5, we also should decide what is the default. What do you think ? I like 4 best, though I suggest calling the parameter 'normalize.' How do you plan to handle normalize=False? I suggest if the expression is not a mul: return self else: separate the positive and negative exponents This is indeed what I had in mind. Any idea for the default for normalize ? Cheers, Florent -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Maxima vs Ginac numerator semantic
On Tue, 22 Nov 2011 11:56:51 +0100 Florent Hivert florent.hiv...@lri.fr wrote: method. Thanks to Cython, this is very easy. However, Maxima and Ginac have a different semantic for those two functions: - Maxima: Does not change the expression; if the expression is not a quotient, then this will return the expression itself. - Ginac: try to normalize the expression to put it in the form N/D and then return N; For example, with an expression such as x + y/(x + 2), - Maxima: numer = x + y/(x + 2), denom = 1 - Ginac: numer = (x^2 + 2x + y), denom = x + 2 I can more or less emulate Maxima's behavior with Ginac, but I'm not sure what's best to do. I see several options: 1 - Forget about Maxima and follows Ginac semantic; 2 - Follows Maxima semantic as close as possible using Ginac; 3 - Have a parameter 'algorithm' to select the needed one. Depending one the algorithm the semantic differ; 4 - Have a parameter 'normal' to select if we normalize or nor the result before computing the numerator, always use Ginac however. 5 - 3 and 4, have two parameters, one for selecting Maxima or Ginac, one for performing a normalization before. 6 - other options ??? In case 3, 4, 5, we also should decide what is the default. What do you think ? I like 4 best, though I suggest calling the parameter 'normalize.' How do you plan to handle normalize=False? I suggest if the expression is not a mul: return self else: separate the positive and negative exponents This is indeed what I had in mind. I don't recall a pynac function which separates negative and positive exponents in a mul. There is some code for this in mul::do_print_rat_func() (in Pynac). Maybe we should move that to a new function. How do you do this ATM? AFAIK, you can't access the expairseq stored in a mul from Cython. Any idea for the default for normalize ? IHMO, True. The response you get when it's false is nonsense in most cases. If you want that behavior, you should state that you know what you are doing by passing normalize=False. Cheers, Burcin -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: torrent question
On Tuesday, November 22, 2011 9:49:54 AM UTC+1, Keshav Kini wrote: The good news is that the .torrent file format already supports web seeds (since a few years ago) which as the name suggests allow you to put an HTTP URI inside the .torrent file as a web-based seed ... Interesting. Do you know how they can be generated (automatically)? you could just run a daemon on boxen.math.washington.edu which connects to our torrents' swarms and throttles uploading if there are enough other seeds around. which daemon? i haven't done much and also it was years go, but i was never able to setup a working daemon for torrent seeds. h -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Segfault in DiGraph.automorphism_group
Hi there, I want to report a segfault in DiGraph.automorphism_group. On my machine the following code creates a segfault if finite_semigroup-nt.patch is applied and works if not. sage: G = DiGraph() sage: G.add_vertices([1, 6, 9]) sage: G.add_edges([(9, 1, None), (9, 6, None)]) sage: G.automorphism_group() Can someone confirm that the segfault happen on other machine ? For Nicolas: could it be related to the recent work on categories ? We (Nicolas myself) tracked back the segfault and found that it was triggered by the category system but it should have nothing to do with it. The problem seems to been raised by an early import of DiGraph. Here is a simple way to trigger the segfault: Starts from vanilla sage-4.7.2 together with the following patch: # HG changeset patch # Parent 9e29a3d84c48c399daaf3920bcb8b17273a0e876 diff --git a/sage/categories/all.py b/sage/categories/all.py --- a/sage/categories/all.py +++ b/sage/categories/all.py @@ -39,6 +39,8 @@ from finite_monoids import FiniteMonoids from finite_groups import FiniteGroups from finite_permutation_groups import FinitePermutationGroups +from sage.graphs.digraph import DiGraph + # fields from number_fields import NumberFields Then, sage: DiGraph().automorphism_group() Kaboom !!! I don't think I'll have time to investigate this further. Should I open a ticket ? Cheers, Florent -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: Building Sage 4.7.2 on openSUSE 12.1 (64-bit)
On 21 Nov., 05:50, caretaker82 caretake...@gmail.com wrote: Hello~ I am trying to build the latest sage on the latest version of openSUSE 12.1 (64-bit), and I have come across another libreadline issue that I have not been able to solve: Error: Readline's build claims to have finished, but files that should have been built weren't. I do find, however, that libreadline.so.6.1 and libhistory.so.6.1 were built and placed in the local/lib64 folder. I have posted the entire output at: http://shersonb.net/sage-build.txt What could be the problem? ~Brian Hi, in your sage-build.txt are the lines OpenSuSE detected ... but not OpenSuSE 11 - building Sage's version of libreadline. which point to the problem. I create a new readline-6.1.spkg in spkg/standard/ where the line 65 of file spkg-install is replaced by if grep -q 1[1\|2]\\. /etc/SuSE-release 2/dev/null; then which detects also 12.1 etc.. This solves the readline-issue for me. Unfortunately, I'm still not able to build sage. In package ecl-11.1.1.p1, I get the error ./ecl_min: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory I suspect that the problem is related to the fact, that libgmp.so.3 is installed in local/lib64 and not local/lib, but have no solution yet. Thomas -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: Segfault in DiGraph.automorphism_group
On Nov 22, 2:46 pm, Florent Hivert florent.hiv...@lri.fr wrote: Hi there, I want to report a segfault in DiGraph.automorphism_group. On my machine the following code creates a segfault if finite_semigroup-nt.patch is applied and works if not. sage: G = DiGraph() sage: G.add_vertices([1, 6, 9]) sage: G.add_edges([(9, 1, None), (9, 6, None)]) sage: G.automorphism_group() Can someone confirm that the segfault happen on other machine ? For Nicolas: could it be related to the recent work on categories ? We (Nicolas myself) tracked back the segfault and found that it was triggered by the category system but it should have nothing to do with it. The problem seems to been raised by an early import of DiGraph. Here is a simple way to trigger the segfault: Starts from vanilla sage-4.7.2 together with the following patch: # HG changeset patch # Parent 9e29a3d84c48c399daaf3920bcb8b17273a0e876 diff --git a/sage/categories/all.py b/sage/categories/all.py --- a/sage/categories/all.py +++ b/sage/categories/all.py @@ -39,6 +39,8 @@ from finite_monoids import FiniteMonoids from finite_groups import FiniteGroups from finite_permutation_groups import FinitePermutationGroups +from sage.graphs.digraph import DiGraph + # fields from number_fields import NumberFields Then, sage: DiGraph().automorphism_group() Kaboom !!! I don't think I'll have time to investigate this further. Should I open a ticket ? Cheers, Florent Hi Florent, I tested your code with the patch and without - it worked both times: Permutation Group with generators [(1,3)] But maybe this is related, I had also problems with a crash in module digraph.py and have created a ticket here http://trac.sagemath.org/sage_trac/ticket/12054 cheers emil -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Segfault in DiGraph.automorphism_group
On 2011-11-22 15:46, Florent Hivert wrote: I don't think I'll have time to investigate this further. Should I open a ticket ? You mention it only segfaults when finite_semigroup-nt.patch is applied. I assume this patch comes from some ticket. So you should complain on that ticket. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Segfault in DiGraph.automorphism_group
Hi Jeroen, On Tue, Nov 22, 2011 at 04:57:50PM +0100, Jeroen Demeyer wrote: On 2011-11-22 15:46, Florent Hivert wrote: I don't think I'll have time to investigate this further. Should I open a ticket ? You mention it only segfaults when finite_semigroup-nt.patch is applied. I assume this patch comes from some ticket. So you should complain on that ticket. Sorry my message wasn't clear. The patch below is the part of finite_semigroup-nt.patch which triggers the segfault. You don't need the rest of finite_semigroup-nt.patch to reproduce the bug. By the way, since it could matter. I'm on a 64 bits linux machine with gcc (SUSE Linux) 4.5.0 20100604 [gcc-4_5-branch revision 160292] Florent # HG changeset patch # Parent 9e29a3d84c48c399daaf3920bcb8b17273a0e876 diff --git a/sage/categories/all.py b/sage/categories/all.py --- a/sage/categories/all.py +++ b/sage/categories/all.py @@ -39,6 +39,8 @@ from finite_monoids import FiniteMonoids from finite_groups import FiniteGroups from finite_permutation_groups import FinitePermutationGroups +from sage.graphs.digraph import DiGraph + # fields from number_fields import NumberFields -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Re: sage on hawk
On Tuesday 22 November 2011, Volker Braun wrote: Maybe you can tell us which environment variables you have set up? Do you have something akin to LD_LIBRARY_PATH=/usr/local/gcc-4.5.0/lib:/usr/local/gcc-4.5.0/lib/amd64 On Tuesday, November 22, 2011 12:08:55 PM UTC, Martin Albrecht wrote: I'm trying to build Sage 4.8.2-alpha2 on David Kirkby's OpenSolaris box (hawk), but it fails at ECL I started the compilation from scratch with LD_LIBRARY_PATH set and it worked. Thanks Volker! Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] failing to build 4.7.2 on osx
Hello -- I just tried to build 4.7.2 from scratch on OSX. It failed with output spkg/logs/boehm_gc-7.1.p7.log:sage: An error occurred while installing boehm_gc-7.1.p7 spkg/logs/libgpg_error-1.6.p3.log:sage: An error occurred while installing libgpg_error-1.6.p3 spkg/logs/readline-6.1.log:sage: An error occurred while installing readline-6.1 Any ideas what to do? (I only have remote access to the computer, and no su access, but I still thought I should be able to build Sage) Thanks, Christian -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: talk on Sage that I gave today
Nice graphic in there, William. Page 8 in the PDF. Just what I need for a talk this afternoon. Is it available as an image somwhere? Thanks. Bill On Nov 20, 12:05 am, William Stein wst...@gmail.com wrote: On Sat, Nov 19, 2011 at 11:50 PM, Thierry Dumont tdum...@math.univ-lyon1.fr wrote: Le 20/11/2011 08:48, William Stein a écrit : Hi, I gave a general audience talk today at the Combinatorial Potlatch here at Seattle University. My slides, the worksheet, and a clear recording of the audio of the talk are here, in case you're interested: http://wstein.org/talks/2011-potlatch/ This is similar to the talk I gave in Budapest, but this talk has a long discussion with the audience in the middle... William Hi, the pdf link does not work. Fixed. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL:http://www.sagemath.org -- William Stein Professor of Mathematics University of Washingtonhttp://wstein.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] LinBox crash on OpenSolaris with #4260
Hi, after I managed to build Sage on Dave's OpenSolaris machine, I managed to reproduce a SIGSEGV that Jeroen reported in #4260. Simply starting and stopping Sage with #4260 gives the following segfault: #0 0xfec9c7fb in _free_unlocked () from /lib/libc.so.1 #1 0xfec9c7af in free () from /lib/libc.so.1 #2 0xfdb81d01 in operator delete (ptr=0x8) at ../../../../gcc-4.5.0/libstdc++-v3/libsupc++/del_op.cc:44 #3 0xfdb81d5d in operator delete[] (ptr=0x8) at ../../../../gcc-4.5.0/libstdc++-v3/libsupc++/del_opv.cc:32 #4 0xfdb72543 in ~ios_base (this=0xf9a3e704) at ../../../../gcc-4.5.0/libstdc++-v3/src/ios.cc:93 #5 0xf9892891 in __static_initialization_and_destruction_0 (__initialize_p=value optimized out) at /usr/local/gcc-4.5.0/lib/gcc/i386-pc- solaris2.10/4.5.0/../../../../include/c++/4.5.0/bits/basic_ios.h:272 #6 0xf988e3b0 in __do_global_dtors_aux () from /export/home/martina/sage-4.8.alpha2/local/lib//liblinboxsage.so.0 #7 0xf99f7835 in _fini () from /export/home/martina/sage-4.8.alpha2/local/lib//liblinboxsage.so.0 #8 0xfefd15fe in call_fini () from /usr/lib/ld.so.1 #9 0xfefd17b3 in atexit_fini () from /usr/lib/ld.so.1 #10 0xfec8370c in _exithandle () from /lib/libc.so.1 #11 0xfec73f52 in exit () from /lib/libc.so.1 #12 0xfeef3232 in Py_Exit (sts=0) at Python/pythonrun.c:1716 #13 0xfeef3357 in handle_system_exit () at Python/pythonrun.c:1116 #14 0x in ?? () Any C++ expert out there with a good explanation what this means? Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: MIME type for .spkg files?
The MIME registration is a bit screwed up in this respect. tar might be OK as a document format (though I believe no one has registered a MIME type for it), but bzip2 is more of what they think of as a content-transfer-encoding. I've argued in the past to the IETF that they should define additional content-transfer-encodings for gzip and zip and bzip2, but they haven't, because it doesn't really come up in the email application domain. I'd suggest registering a real MIME type for it, something like application/vnd.sagemath-spkg. That would allow servers and browsers to agree on what they're passing around. It would also handle the case where it's maybe bzip2 one time and maybe tar the next time. Same for .sws, if that isn't already registered. Bill On Nov 18, 12:12 am, Jeroen Demeyer jdeme...@cage.ugent.be wrote: On 2011-11-17 22:33, Bill Janssen wrote: Is there a MIME type for .spkg files? I guess not, but spkg files are simply bzip2'ed tar files, so if there is a MIME type for that, you should probably use that. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: tentative PIL-1.1.7.p0.spkg
OK, I'll look at that this long weekend. Bill On Nov 17, 2:07 pm, William Stein wst...@gmail.com wrote: On Thu, Nov 17, 2011 at 1:49 PM, Bill Janssen bill.jans...@gmail.com wrote: Some issues with this spkg: - The mercurial repository is completely missing. Yes, it's not a patch to the Sage sources, so there's no Mercurial stuff as there would be if it were. Each spkg has its own Mercurial repository. Look at another spkg. - There are lots of backup files around (SPKG.txt~, etc.). I've put up a new version which should fix this. - You shouldn't build libjpeg in /tmp/..., but probably in a subdirectory of SAGE_ROOT/spkg/build/pil- You also shouldn't delete this temporary directory: the sage-spkg script will clean up spkg/build/pil-... automatically unless requested not to. (What if your $TEMPDIR already exists? What if there is an error running spkg-check and someone wants to look at the build directories?) OK, I'll try that. Thanks! -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group athttp://groups.google.com/group/sage-devel URL:http://www.sagemath.org -- William Stein Professor of Mathematics University of Washingtonhttp://wstein.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: tentative PIL-1.1.7.p0.spkg
On Nov 17, 5:07 pm, kcrisman kcris...@gmail.com wrote: On Nov 17, 5:10 pm, Bill Janssen bill.jans...@gmail.com wrote: OK, the libjpeg now builds in place. I see that on my Ubuntu box, the spkg-check file isn't being run automatically. Any ideas as to why that might be? Did you set SAGE_CHECK=yes ? That is the flag that sets that to run. Otherwise Sage would always fail, because the Python spkg-check always fails... I did not. Neither on my Mac (where spkg-check runs) or on my Ubuntu box (where it doesn't run). I just tried setting it on my Ubuntu machine, then running sage -f pil-1.1.7.p0.spkg again. Still doesn't run spkg-check there. Is there a verbose flag of some sort I could set to see what's going on? Bill Thanks for the work on this. My computer has never passed plot/plot3d/ base.pyx because of not having libjpeg, I guess - at least it says the _imaging_C or whatever extension wasn't built, and my understanding is that that is from PIL (?). - kcrisman -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: LinBox crash on OpenSolaris with #4260
There is a static object that segfaults in its destructor. Unfortunately the name of the instance is not included in the stack trace, but since it dies somewhere in iostream code I would guess that it has something to do with LinBox's Commentator. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Re: LinBox crash on OpenSolaris with #4260
On Tue, Nov 22, 2011 at 9:47 AM, Volker Braun vbraun.n...@gmail.com wrote: There is a static object that segfaults in its destructor. Unfortunately the name of the instance is not included in the stack trace, but since it dies somewhere in iostream code I would guess that it has something to do with LinBox's Commentator. The dreaded LinBox Commentator! -- Willia -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -- William Stein Professor of Mathematics University of Washington http://wstein.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] failing to build 4.7.2 on osx
On Tue, Nov 22, 2011 at 9:16 AM, Christian Stump christian.st...@gmail.com wrote: Hello -- I just tried to build 4.7.2 from scratch on OSX. It failed with output spkg/logs/boehm_gc-7.1.p7.log:sage: An error occurred while installing boehm_gc-7.1.p7 spkg/logs/libgpg_error-1.6.p3.log:sage: An error occurred while installing libgpg_error-1.6.p3 spkg/logs/readline-6.1.log:sage: An error occurred while installing readline-6.1 Any ideas what to do? (I only have remote access to the computer, and no su access, but I still thought I should be able to build Sage) Can you answer all the obvious questions... e.g., which version of XCode, OS X, post a copy of the log, etc.? Thanks, Christian -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -- William Stein Professor of Mathematics University of Washington http://wstein.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Maxima vs Ginac numerator semantic
Hi Burcin, On Tue, Nov 22, 2011 at 02:47:18PM +0100, Burcin Erocal wrote: On Tue, 22 Nov 2011 11:56:51 +0100 Florent Hivert florent.hiv...@lri.fr wrote: method. Thanks to Cython, this is very easy. However, Maxima and Ginac have a different semantic for those two functions: - Maxima: Does not change the expression; if the expression is not a quotient, then this will return the expression itself. - Ginac: try to normalize the expression to put it in the form N/D and then return N; For example, with an expression such as x + y/(x + 2), - Maxima: numer = x + y/(x + 2), denom = 1 - Ginac: numer = (x^2 + 2x + y), denom = x + 2 I can more or less emulate Maxima's behavior with Ginac, but I'm not sure what's best to do. I see several options: 1 - Forget about Maxima and follows Ginac semantic; 2 - Follows Maxima semantic as close as possible using Ginac; 3 - Have a parameter 'algorithm' to select the needed one. Depending one the algorithm the semantic differ; 4 - Have a parameter 'normal' to select if we normalize or nor the result before computing the numerator, always use Ginac however. 5 - 3 and 4, have two parameters, one for selecting Maxima or Ginac, one for performing a normalization before. 6 - other options ??? In case 3, 4, 5, we also should decide what is the default. What do you think ? I like 4 best, though I suggest calling the parameter 'normalize.' How do you plan to handle normalize=False? I suggest if the expression is not a mul: return self else: separate the positive and negative exponents This is indeed what I had in mind. I don't recall a pynac function which separates negative and positive exponents in a mul. There is some code for this in mul::do_print_rat_func() (in Pynac). Maybe we should move that to a new function. How do you do this ATM? AFAIK, you can't access the expairseq stored in a mul from Cython. Yes I can using .op(...) ! See my patch (needs review) posted on #12068. However, trying to wrap also numer_denom I'm stuck with a Cython/C++ problem: In GiNaC.pxi I defined: -ctypedef struct GExPair std::pairex, ex +ctypedef struct GExPair std::pairex, ex: +pass and +GExPair numer_denom() except + int degree(GEx expr) except + Now from expression.pyx, I want to write cdef GExPair pair = self._gobj.numer_denom() And GCC complains with sage/symbolic/expression.cpp: In function ‘PyObject* __pyx_pf_4sage_8symbolic_10expression_10Expression_143numerator_denominator(PyObject*, PyObject*, PyObject*)’: sage/symbolic/expression.cpp:24931:114: error: no match for ‘operator=’ in ‘__pyx_t_1 = GiNaC::ex::numer_denom() const()’ /usr/include/c++/4.5/bits/stl_pair.h:72:5: note: candidate is: std::pairGiNaC::ex, GiNaC::ex std::pairGiNaC::ex, GiNaC::ex::operator=(const std::pairGiNaC::ex, GiNaC::ex) error: command 'gcc' failed with exit status 1 Any idea how to solve this problem ? (I'm asking on Cython-users as well) Any idea for the default for normalize ? IHMO, True. The response you get when it's false is nonsense in most cases. If you want that behavior, you should state that you know what you are doing by passing normalize=False. Agreed ! Florent -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Segfault in DiGraph.automorphism_group
On Tue, Nov 22, 2011 at 04:57:50PM +0100, Jeroen Demeyer wrote: You mention it only segfaults when finite_semigroup-nt.patch is applied. I assume this patch comes from some ticket. So you should complain on that ticket. The problem was originally discovered with finite-semigroup-nt.patch. But at the end of the day, the small patches given in Florent's e-mail is sufficient to reproduce it with plain Sage 4.7.2, on both our machines (Linux, Ubuntu/Open Suse respectively). Cheers, Nicolas -- Nicolas M. Thiéry Isil nthi...@users.sf.net http://Nicolas.Thiery.name/ -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: failing to build 4.7.2 on osx
I really don't know how to get the XCode version in the command line, but gcc is version 4.2.1 (isn't that part of XCode?). Then, Mac OS X Server 10.7.2. When running again, it only broke because of readline-6.1. Its log file is -- pythagore:sage-4.7.2 sage$ cat spkg/logs/readline-6.1.log Warning: Attempted to overwrite SAGE_ROOT environment variable readline-6.1 Machine: Darwin pythagore.math.uqam.ca 11.2.0 Darwin Kernel Version 11.2.0: Tue Aug 9 20:54:00 PDT 2011; root:xnu-1699.24.8~1/RELEASE_X86_64 x86_64 Deleting directories from past builds of previous/current versions of readline-6.1 Extracting package /Users/sage/sage-4.7.2/spkg/standard/ readline-6.1.spkg ... -rw-r--r--+ 1 sage staff 2085085 Nov 11 2010 /Users/sage/sage-4.7.2/ spkg/standard/readline-6.1.spkg Finished extraction Host system uname -a: Darwin pythagore.math.uqam.ca 11.2.0 Darwin Kernel Version 11.2.0: Tue Aug 9 20:54:00 PDT 2011; root:xnu-1699.24.8~1/RELEASE_X86_64 x86_64 CC Version gcc -v Using built-in specs. Target: i686-apple-darwin10 Configured with: /var/tmp/llvmgcc42/llvmgcc42-2335.6~17/src/configure --disable-checking --enable-werror --prefix=/Developer/usr/llvm- gcc-4.2 --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ -- program-prefix=llvm- --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin10 --enable-llvm=/var/ tmp/llvmgcc42/llvmgcc42-2335.6~17/dst-llvmCore/Developer/usr/local -- program-prefix=i686-apple-darwin10- --host=x86_64-apple-darwin10 -- target=i686-apple-darwin10 --with-gxx-include-dir=/usr/include/c++/ 4.2.1 Thread model: posix gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2335.6) Building a 64-bit version of Readline Using CC=gcc The following environment variables will be exported. Using CFLAGS= -m64 -g -O2 Using CPPFLAGS= -m64 Using LDFLAGS= -m64 configure scripts and/or makefiles might override these later Deleting old readline headers and libs... checking build system type... i386-apple-darwin11.2.0 checking host system type... i386-apple-darwin11.2.0 Beginning configuration for readline-6.1 for i386-apple-darwin11.2.0 checking whether make -j8 sets $(MAKE)... yes checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... rm: conftest.dSYM: is a directory rm: conftest.dSYM: is a directory yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking minix/config.h usability... no checking minix/config.h presence... no checking for minix/config.h... no checking whether it is safe to define __EXTENSIONS__... yes checking whether gcc needs -traditional... no checking for a BSD-compatible install... /usr/bin/install -c checking for ar... ar checking for ranlib... ranlib checking for an ANSI C-conforming const... yes checking for function prototypes... yes checking whether char is unsigned... no checking for working volatile... yes checking return type of signal handlers... void checking for size_t... yes checking for ssize_t... yes checking for ANSI C header files... (cached) yes checking whether stat file-mode macros are broken... no checking for dirent.h that defines DIR... yes checking for library containing opendir... none required checking for fcntl... yes checking for kill... yes checking for lstat... yes checking for memmove... yes checking for putenv... yes checking for select... yes checking for setenv... yes checking for setlocale... yes checking for strcasecmp... yes checking for strpbrk... yes checking for tcgetattr... yes checking for vsnprintf... yes checking for isascii... yes checking for isxdigit... yes checking for getpwent... yes checking for getpwnam... yes checking for getpwuid... yes checking for working strcoll... yes checking fcntl.h usability... yes checking fcntl.h presence... yes checking for fcntl.h... yes checking for unistd.h... (cached) yes checking for stdlib.h... (cached) yes checking varargs.h usability... no checking varargs.h presence... no checking for varargs.h... no checking stdarg.h usability... yes checking
Re: [sage-devel] Re: failing to build 4.7.2 on osx
On Tue, Nov 22, 2011 at 11:04 AM, Christian Stump christian.st...@gmail.com wrote: I really don't know how to get the XCode version in the command line, but gcc is version 4.2.1 (isn't that part of XCode?). Then, Mac OS X Server 10.7.2. Building Sage on OS X Lion is not yet supported; nobody has yet built one that 100% works and passes all tests, though we're close. See http://trac.sagemath.org/sage_trac/ticket/11881 Fortunately, a binary built on 10.6 will work on 10.7. -- William When running again, it only broke because of readline-6.1. Its log file is -- pythagore:sage-4.7.2 sage$ cat spkg/logs/readline-6.1.log Warning: Attempted to overwrite SAGE_ROOT environment variable readline-6.1 Machine: Darwin pythagore.math.uqam.ca 11.2.0 Darwin Kernel Version 11.2.0: Tue Aug 9 20:54:00 PDT 2011; root:xnu-1699.24.8~1/RELEASE_X86_64 x86_64 Deleting directories from past builds of previous/current versions of readline-6.1 Extracting package /Users/sage/sage-4.7.2/spkg/standard/ readline-6.1.spkg ... -rw-r--r--+ 1 sage staff 2085085 Nov 11 2010 /Users/sage/sage-4.7.2/ spkg/standard/readline-6.1.spkg Finished extraction Host system uname -a: Darwin pythagore.math.uqam.ca 11.2.0 Darwin Kernel Version 11.2.0: Tue Aug 9 20:54:00 PDT 2011; root:xnu-1699.24.8~1/RELEASE_X86_64 x86_64 CC Version gcc -v Using built-in specs. Target: i686-apple-darwin10 Configured with: /var/tmp/llvmgcc42/llvmgcc42-2335.6~17/src/configure --disable-checking --enable-werror --prefix=/Developer/usr/llvm- gcc-4.2 --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ -- program-prefix=llvm- --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin10 --enable-llvm=/var/ tmp/llvmgcc42/llvmgcc42-2335.6~17/dst-llvmCore/Developer/usr/local -- program-prefix=i686-apple-darwin10- --host=x86_64-apple-darwin10 -- target=i686-apple-darwin10 --with-gxx-include-dir=/usr/include/c++/ 4.2.1 Thread model: posix gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2335.6) Building a 64-bit version of Readline Using CC=gcc The following environment variables will be exported. Using CFLAGS= -m64 -g -O2 Using CPPFLAGS= -m64 Using LDFLAGS= -m64 configure scripts and/or makefiles might override these later Deleting old readline headers and libs... checking build system type... i386-apple-darwin11.2.0 checking host system type... i386-apple-darwin11.2.0 Beginning configuration for readline-6.1 for i386-apple-darwin11.2.0 checking whether make -j8 sets $(MAKE)... yes checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... rm: conftest.dSYM: is a directory rm: conftest.dSYM: is a directory yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking minix/config.h usability... no checking minix/config.h presence... no checking for minix/config.h... no checking whether it is safe to define __EXTENSIONS__... yes checking whether gcc needs -traditional... no checking for a BSD-compatible install... /usr/bin/install -c checking for ar... ar checking for ranlib... ranlib checking for an ANSI C-conforming const... yes checking for function prototypes... yes checking whether char is unsigned... no checking for working volatile... yes checking return type of signal handlers... void checking for size_t... yes checking for ssize_t... yes checking for ANSI C header files... (cached) yes checking whether stat file-mode macros are broken... no checking for dirent.h that defines DIR... yes checking for library containing opendir... none required checking for fcntl... yes checking for kill... yes checking for lstat... yes checking for memmove... yes checking for putenv... yes checking for select... yes checking for setenv... yes checking for setlocale... yes checking for strcasecmp... yes checking for strpbrk... yes checking for tcgetattr... yes checking for vsnprintf... yes checking for isascii... yes checking for
[sage-devel] Re: failing to build 4.7.2 on osx
Building Sage on OS X Lion is not yet supported; nobody has yet built one that 100% works and passes all tests, though we're close. Seehttp://trac.sagemath.org/sage_trac/ticket/11881 I see, thanks for the reply! Fortunately, a binary built on 10.6 will work on 10.7. if I download built sage-4.7.2.dmg file into a directory, how do get its content into the folder sage-4.7.2 ? I can only use the command line; sorry if the question is stupid. Thanks, Christian -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: talk on Sage that I gave today
On Nov 22, 9:26 am, Bill Janssen bill.jans...@gmail.com wrote: Nice graphic in there, William. Page 8 in the PDF. Just what I need for a talk this afternoon. Is it available as an image somwhere? Ah, got it. Pulled it out of the worksheet. Bill -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Re: failing to build 4.7.2 on osx
On Tue, Nov 22, 2011 at 11:31 AM, Christian Stump christian.st...@gmail.com wrote: Building Sage on OS X Lion is not yet supported; nobody has yet built one that 100% works and passes all tests, though we're close. Seehttp://trac.sagemath.org/sage_trac/ticket/11881 I see, thanks for the reply! Fortunately, a binary built on 10.6 will work on 10.7. if I download built sage-4.7.2.dmg file into a directory, how do get its content into the folder sage-4.7.2 ? I suspect that if you type open sage-4.7.2.dmg maybe it will mount the disk image. You'll be able to tell if you see something under /Volumes/. -- William I can only use the command line; sorry if the question is stupid. Thanks, Christian -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -- William Stein Professor of Mathematics University of Washington http://wstein.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: failing to build 4.7.2 on osx
On Tuesday, November 22, 2011 11:31:29 AM UTC-8, Christian Stump wrote: Building Sage on OS X Lion is not yet supported; nobody has yet built one that 100% works and passes all tests, though we're close. Seehttp:// trac.sagemath.org/sage_trac/ticket/11881 I see, thanks for the reply! Fortunately, a binary built on 10.6 will work on 10.7. if I download built sage-4.7.2.dmg file into a directory, how do get its content into the folder sage-4.7.2 ? An internet search led me to the command hdiutil. $ hdiutil attach /path/to/sage-...dmg $ cd /Volumes/sage-... There should be a folder sage there which you can copy to wherever you want. Then $ cd /Volumes $ hdiutil detach sage- to unmount the disk image. -- John -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Re: LinBox crash on OpenSolaris with #4260
On Tuesday 22 November 2011, Volker Braun wrote: There is a static object that segfaults in its destructor. Unfortunately the name of the instance is not included in the stack trace, but since it dies somewhere in iostream code I would guess that it has something to do with LinBox's Commentator. You're right, compiled again with debugging symbols: #0 0xfec9c7fb in _free_unlocked () from /lib/libc.so.1 #1 0xfec9c7af in free () from /lib/libc.so.1 #2 0xfdb61d01 in operator delete (ptr=0x1) at ../../../../gcc-4.5.0/libstdc++-v3/libsupc++/del_op.cc:44 #3 0xfa1ca499 in __gnu_cxx::new_allocatorLinBox::Commentator::Activity**::deallocate (this=0x8046a9b, __p=0x1) at /usr/local/gcc-4.5.0/lib/gcc/i386-pc- solaris2.10/4.5.0/../../../../include/c++/4.5.0/ext/new_allocator.h:95 #4 0xfa1c8cd3 in std::_Deque_baseLinBox::Commentator::Activity*, std::allocatorLinBox::Commentator::Activity* ::_M_deallocate_map (this=0xf99cc730, __p=0x1, __n=0) at /usr/local/gcc-4.5.0/lib/gcc/i386-pc- solaris2.10/4.5.0/../../../../include/c++/4.5.0/bits/stl_deque.h:534 #5 0xfa1c794c in ~_Deque_base (this=0xf99cc730) at /usr/local/gcc-4.5.0/lib/gcc/i386-pc- solaris2.10/4.5.0/../../../../include/c++/4.5.0/bits/stl_deque.h:553 #6 0xfa1c6bbe in ~deque (this=0xf99cc730) at /usr/local/gcc-4.5.0/lib/gcc/i386-pc- solaris2.10/4.5.0/../../../../include/c++/4.5.0/bits/stl_deque.h:865 #7 0xfa1c68a9 in ~stack (this=0xf99cc730) at /usr/local/gcc-4.5.0/lib/gcc/i386-pc- solaris2.10/4.5.0/../../../../include/c++/4.5.0/bits/stl_stack.h:93 #8 0xfa1c3aaf in ~Commentator (this=0xf99cc6a0) at commentator.C:111 #9 0xf97bd4bc in __static_initialization_and_destruction_0 (__initialize_p=0, __priority=65535) at ../../linbox/util/commentator.h:820 #10 0xf97bd506 in global destructors keyed to linbox_sage.C () at linbox- sage.C:624 #11 0xf97b5f50 in __do_global_dtors_aux () from /export/home/martina/sage-4.8.alpha2/local/lib//liblinboxsage.so.0 #12 0xf9937075 in _fini () from /export/home/martina/sage-4.8.alpha2/local/lib//liblinboxsage.so.0 #13 0xfefd15fe in call_fini () from /usr/lib/ld.so.1 #14 0xfefd17b3 in atexit_fini () from /usr/lib/ld.so.1 #15 0xfec8370c in _exithandle () from /lib/libc.so.1 #16 0xfec73f52 in exit () from /lib/libc.so.1 #17 0xfeef3232 in Py_Exit (sts=0) at Python/pythonrun.c:1716 #18 0xfeef3357 in handle_system_exit () at Python/pythonrun.c:1116 #19 0x in ?? () Now I only need to fix it :( Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: MIME type for .spkg files?
I'd suggest registering a real MIME type for it, something like application/vnd.sagemath-spkg. See http://www.iana.org/cgi-bin/mediatypes.pl. Bill -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
Re: [sage-devel] Maxima vs Ginac numerator semantic
However, trying to wrap also numer_denom I'm stuck with a Cython/C++ problem: In GiNaC.pxi I defined: -ctypedef struct GExPair std::pairex, ex +ctypedef struct GExPair std::pairex, ex: +pass and +GExPair numer_denom() except + int degree(GEx expr) except + Now from expression.pyx, I want to write cdef GExPair pair = self._gobj.numer_denom() And GCC complains with sage/symbolic/expression.cpp: In function ‘PyObject* __pyx_pf_4sage_8symbolic_10expression_10Expression_143numerator_denominator(PyObject*, PyObject*, PyObject*)’: sage/symbolic/expression.cpp:24931:114: error: no match for ‘operator=’ in ‘__pyx_t_1 = GiNaC::ex::numer_denom() const()’ /usr/include/c++/4.5/bits/stl_pair.h:72:5: note: candidate is: std::pairGiNaC::ex, GiNaC::ex std::pairGiNaC::ex, GiNaC::ex::operator=(const std::pairGiNaC::ex, GiNaC::ex) error: command 'gcc' failed with exit status 1 Forget about this ! Sorry for the noise. Florent -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: tentative PIL-1.1.7.p0.spkg
You should build your new spkg by starting with the old one Except that the old one doesn't exist -- this is pil-1.1.7.p0, not pil-1.1.6.p5. Still not sure how to go about this -- an example (perhaps it's in the docs) would be helpful. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: tentative PIL-1.1.7.p0.spkg
On Tuesday, November 22, 2011 12:42:41 PM UTC-8, Bill Janssen wrote: You should build your new spkg by starting with the old one Except that the old one doesn't exist -- this is pil-1.1.7.p0, not pil-1.1.6.p5. Still not sure how to go about this -- an example (perhaps it's in the docs) would be helpful. So pil-1.1.6.p5 *is* the old one. Remove the src directory from that one, replacing it with the new source. Modify any patches as necessary, along with the spkg-install, spkg-check, and SPKG.txt files, as I said in my previous message. Commit your changes using hg commit (or sage --hg commit). See, for example, http://sagemath.org/doc/developer/patching_spkgs.html#bumping-up-an-spkg-s-version. -- John -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: failing to build 4.7.2 on osx
$ hdiutil attach /path/to/sage-...dmg $ cd /Volumes/sage-... There should be a folder sage there which you can copy to wherever you want. Then $ cd /Volumes $ hdiutil detach sage- to unmount the disk image. Thanks, that worked! -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: Building Sage 4.7.2 on openSUSE 12.1 (64-bit)
Hi! ./ecl_min: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory I suspect that the problem is related to the fact, that libgmp.so.3 is installed in local/lib64 and not local/lib, but have no solution yet. you may that the environment variable LD_LIBRARY_PATH accordingly, i. e. e. g. export LD_LIBRARY_PATH=/usr/local/lib64:$LDLIBRARY_PATH Regards, Alexander -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: tentative PIL-1.1.7.p0.spkg
On Nov 22, 12:53 pm, John H Palmieri jhpalmier...@gmail.com wrote: So pil-1.1.6.p5 *is* the old one. pil-1.1.6.p4 is the old one. Remove the src directory from that one, replacing it with the new source. Modify any patches as necessary, along with the spkg-install, spkg-check, and SPKG.txt files, as I said in my previous message. Commit your changes using hg commit (or sage --hg commit). How do I change the name? Just hg rename? Won't that delete pil-1.1.6.p4? What if someone wants 1.1.6 instead of 1.1.7? Bill See, for example, http://sagemath.org/doc/developer/patching_spkgs.html#bumping-up-an-s -- John -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: tentative PIL-1.1.7.p0.spkg
On Tuesday, November 22, 2011 3:45:28 PM UTC-8, Bill Janssen wrote: On Nov 22, 12:53 pm, John H Palmieri jhpalm...@gmail.com wrote: So pil-1.1.6.p5 *is* the old one. pil-1.1.6.p4 is the old one. Remove the src directory from that one, replacing it with the new source. Modify any patches as necessary, along with the spkg-install, spkg-check, and SPKG.txt files, as I said in my previous message. Commit your changes using hg commit (or sage --hg commit). How do I change the name? Just hg rename? Won't that delete pil-1.1.6.p4? What if someone wants 1.1.6 instead of 1.1.7? You just change the name of the parent directory: $ mv pil-1.1.6.p4 pil-1.1.7.p0 The Mercurial repository is contained in this directory, but it doesn't actually care what the name of the directory is. As far as 1.1.6 vs. 1.1.7, the new version should only be merged it if represents an upgrade and works on all platforms where the old one worked, so most people should be happy with 1.1.7. If someone really wants the old version, they can download an old version of Sage and get it from there. We don't keep old versions of spkgs around, as far as I know. -- John -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: torrent question
Transmission ( http://transmissionbt.com/ ) is, I believe, a popular choice these days, since the official BitTorrent client went closed-source a few years back. It can be run as a daemon. I also found a useful-looking thing named PHP-tracker ( http://php-tracker.org/ ). As for actually generating the .torrent files with web seed info in them, Transmission doesn't seem to be able to do this from the command line (at least in version 2.22, which is admittedly more than six months old). It should be relatively simple to write a script to do this if necessary, though - the .torrent file format is a simple binary format ( http://en.wikipedia.org/wiki/Bencode ). Of course, it's best to use established library code to work with this stuff just to be safe. I'll see if I can find some other tool. -Keshav Join us in #sagemath on irc.freenode.net ! -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] solve_right's behavior on singular matrices
Hi there, I was looking at solve_right. And as much as I understand if the system has infinitely many solutions it just generates a random solution (with free vars = 0). Doesn't it make more sense that it gives back a matrix : [C0 C1 C2 ..] such that X = C0 + C1*t1 + C2*t2 + ... be a solution to the system. I mean who needs a random solution? On the other hand, as much as I dug into to the documents, sage doesn't have a function that take matrix A and columnar vector B and gives the parametric solution for singular systems. I know it's easy to compute using the echelon_form but considering how often it is used, it deserves a dedicated function. And solve_right seems the right function. Also, I saw that 'solve' uses Maxima to solve a linear system. But entering the equations in solve isn't as easy as entering the coefficient matrix. Should I start a ticket on solve_right to behave differently in the case of singular matrices? It will be somehow backward compatible as the first column is a solution to the system. Or should we give it a different name. Cheers, Syd -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: development of a framework for numeral systems
I would say number system rather than numeral system - that's the term that I've seen in recent literature (see L. Germ\'an and A. Kov \'acs, On Number System Constructions, Acta. Math. Hungar. 115 (2007) 155-167). This would be quite helpful for my research if it could also be extended to: * the multivariable setting, where the base is a dilation matrix (square, nxn matrix with integer entries and with all eigenvalues having modulus strictly greater than 1), and * other more abstract settings (arbitrary lattice L, A:L-L with nontrivial co-kernel) - it might be good to put this as a more general class, and specialize to cases with integer digits, or integer vector digits, further down in the hierarchy? Including a collection of routines for generating digit sets according to some common/canonical schemes would be useful: * standard case: a standard digit set is a complete set of coset representatives of Z^n/A(Z^n) or L/A(L), but * non-standard digit sets are sometimes useful as well (too many or too few digits), so it would be helpful to leave the representation open to such an extension. * I have some code, thanks to Nicolas Thiery and Florent Hivert, for computing smallest digits (the complete set of coset representatives with smallest l^p norm, for p=1 through infinity), that I haven't yet merged. * There are other useful forms for a digit set, such as consecutive colinear digit sets, that it would be nice to have generators for eventually as well. * Of course, the canonical digit set consists of the smallest (in l^2 sense usually, but this could be extended for general l^p) digits in the positive cone (first quadrant/octant/2^n-ant). A number system is one example of the more general class of digit representations, which includes continued fractions, beta representations, and multidimensional continued fractions. I haven't looked, but I imagine Sage has something for continued fractions already? It might be useful to consider how this framework would connect up with any already-existing code for working with other digit representations. I think there's some connection to p-adic representations of some sort, as well? A digit representation (of the integers, real numbers, or other set S) in ergodic number theory is just some mapping from the set S to one- or two-sided sequence space prod_{j=0}^{\infty} D or prod_{j=-]infty{^{\infty} D, for some finite digit set D, where the left/right shift operator on the sequence space corresponds to some reasonable operation on the original set S (multiplication/division by the base, in the case of a radix/positional number system). So it would fit in more broadly with other tools for working with symbolic dynamics, perhaps. Eva -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org