Re: [sage-devel] Re: tightpage=True gives error
On Tue, 2 Sep 2014, Sébastien Labbé wrote: What version of Sage? What version of dot2tex? What is the traceback (apparently, you can get it with %tb) ? graphviz.x86_64 2.34.0-8.fc20 Sage Version 6.3, Release Date: 2014-08-10 dot2tex-2.8.7.p2 installed version: 20120520 %tb outputs following: SystemExitTraceback (most recent call last) in () 1 view(Poset( ([Integer(1),Integer(2),Integer(3),Integer(4),Integer(5)],[[Integer(1),Integer(2)],[Integer(1),Integer(3)],[Integer(3),Integer(4)],[Integer(2),Integer(5)],[Integer(4),Integer(5)]]) > 2 ),tightpage=True) /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/sage/misc/latex.py in view(objects, title, debug, sep, tiny, pdflatex, engine, viewer, tightpage, mode, combine_all, **kwds) 2196 else: 2197 latex_options = {} -> 2198 s = _latex_file_(objects, title=title, sep=sep, tiny=tiny, debug=debug, **latex_options) 2199 if engine is None: 2200 engine = _Latex_prefs._option["engine"] /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/sage/misc/latex.py in _latex_file_(objects, title, debug, sep, tiny, math_left, math_right, extra_preamble) 1805 for i in range(len(objects)): 1806 x = objects[i] -> 1807 L = latex(x) 1808 if not '\\begin{verbatim}' in L: 1809 s += '%s%s%s'%(math_left, L, math_right) /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/sage/misc/latex.py in __call__(self, x, combine_all) 918 """ 919 if has_latex_attr(x): --> 920 return LatexExpr(x._latex_()) 921 try: 922 f = latex_table[type(x)] /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/sage/combinat/posets/posets.py in _latex_(self) 1124 \end{tikzpicture} 1125 """ -> 1126 return self.hasse_diagram()._latex_() 1127 1128 def _repr_(self): /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/sage/graphs/generic_graph.py in _latex_(self) 651 setup_latex_preamble() 652 --> 653 return self.latex_options().latex() 654 655 def _matrix_(self, R=None): /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/sage/graphs/graph_latex.py in latex(self) 1303 return self.tkz_picture() 1304 elif format == "dot2tex": -> 1305 return self.dot2tex_picture() 1306 1307 def dot2tex_picture(self): /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/sage/graphs/graph_latex.py in dot2tex_picture(self) 1363 crop = True, 1364 figonly = 'True', -> 1365 prog=self.get_option('prog')) 1366 # usepdflatex = True, debug = True) 1367 /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/dot2tex/__init__.py in dot2tex(dotsource, **kwargs) 58 59 """ ---> 60 return d2t.convert_graph(dotsource, **kwargs) 61 62 /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/dot2tex/dot2tex.py in convert_graph(dotsource, **kwargs) 2886 2887 options.__dict__.update(kwargs) -> 2888 tex = main(True, dotsource, options) 2889 return tex 2890 /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/dot2tex/dot2tex.py in main(run_as_module, dotdata, options) 2836 sys.exit(1) 2837 try: -> 2838 s = conv.convert(dotdata) 2839 log.debug('Output:\n%s', s) 2840 if options.autosize: /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/dot2tex/dot2tex.py in convert(self, dotdata) 760 761 if self.dopreproc: --> 762 return self.do_preview_preproc() 763 764 # Romove annoying square /home/jm58660/sage-6.3/local/lib/python2.7/site-packages/dot2tex/dot2tex.py in do_preview_preproc(self) 1010 """ 1011 log.error(errormsg) -> 1012 sys.exit(1) 1013 1014 for name, item in usednodes.items(): SystemExit: 1 -- Jori Mäntysalo -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org
William Stein wrote: Is there anybody out there whose interested in (greatly) increasing > the number of optional gap packages in the optional GAP spkg for Sage? > > This thread has a lot of info about this.In particular, this would > be very beneficial to SageMathCloud... > > -- William > Ideally, the sagecell server(s) at sagecell.sagemath.org and aleph.sagemath.org could also have a fuller GAP, so that it would be a place to play with GAP online. Samuel -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: propcalc vs sat
No idea. Though if "is_satisfiable" calls truthtable then there is some space for performance improvement O_o By the way we may have a standard SAT solver in Sage someday: http://trac.sagemath.org/ticket/16862 Nathann -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: tightpage=True gives error
Do you have graphviz installed (locally using, for example on Ubuntu, sudo apt-get install graphviz)? Sorry I forgot about this on the previous topic. Best, Travis On Tuesday, September 2, 2014 1:30:33 AM UTC-7, Jori Mantysalo wrote: > > On Mon, 1 Sep 2014, Travis Scrimshaw wrote: > > > For example view(Poset( ([1,2,3,4,5], > > [[1,2],[1,3],[3,4],[2,5],[4,5]]) ), > > tightpage=True) does nothing. > > > > It takes a few seconds to feed it to my pdf viewer, but it works for me > (and > > I have installed the dot2tex optional spkg). > > After installing dot2tex to sage on local machine the command says > > An exception has occurred, use %tb to see the full traceback. > > SystemExit: 1 > > To exit: use 'exit', 'quit', or Ctrl-D. > > -- > Jori Mäntysalo > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org
On Tue, 02 Sep 2014 23:46:37 Alexander Konovalov wrote: > On 2 Sep 2014, at 23:40, François Bissey wrote: > > That's a point were I think I should chip in some info. > > > > When sage moved to gap 4.5+ I was in pain making a new ebuild for sage-on- > > gentoo. Initially I was just installing the full gap instead of a trimmed > > version. Installation takes ages. I have now trimmed things a little bit > > but it still take ages - but still an improvement. > > Thanks, François. Would be interested to know what takes particularly long > time there. > One aspect here is probably Gentoo specific, there are a lot of small files and they all have to be indexed by the package manager before being installed. The point between the compilation and copying gap onto the system proper is what takes time. Apart from the indexing issue I suspect one the helper from portage (the system package manager) is suboptimal for that particular use case. If gap had a proper "make install" target (that respect DESTDIR) it may improve the install time greatly. Francois -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org
On 2 Sep 2014, at 23:40, François Bissey wrote: > That's a point were I think I should chip in some info. > > When sage moved to gap 4.5+ I was in pain making a new ebuild for sage-on- > gentoo. Initially I was just installing the full gap instead of a trimmed > version. Installation takes ages. I have now trimmed things a little bit > but it still take ages - but still an improvement. Thanks, François. Would be interested to know what takes particularly long time there. > I had to very quickly blacklist xgap, removing it altogether. In gap 4.5.x > it would automatically load when gap was started in sage and cause sage to > hang. It took us a little while to pinpoint it. > https://github.com/cschwan/sage-on-gentoo/issues/189 > in particular > https://github.com/cschwan/sage-on-gentoo/issues/189#issuecomment-12587392 It makes sense about xgap. There are two gap packages, xgap and pargap, which can not be loaded from GAP with LoadPackage command. Instead, they have own shell scripts to start GAP in a specific way. Best wishes Alexander -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org
On Tue, Sep 2, 2014 at 3:40 PM, François Bissey wrote: > That's a point were I think I should chip in some info. > > When sage moved to gap 4.5+ I was in pain making a new ebuild for sage-on- > gentoo. Initially I was just installing the full gap instead of a trimmed > version. Installation takes ages. I have now trimmed things a little bit > but it still take ages - but still an improvement. > > I had to very quickly blacklist xgap, removing it altogether. In gap 4.5.x > it would automatically load when gap was started in sage and cause sage to > hang. It took us a little while to pinpoint it. > https://github.com/cschwan/sage-on-gentoo/issues/189 > in particular > https://github.com/cschwan/sage-on-gentoo/issues/189#issuecomment-12587392 > > Installing the rest had an effect on a couple of doctests if I remember > correctly but nothing dramatic. Wow, many thanks for sharing your experience! -- William > > Francois > > On Tue, 02 Sep 2014 15:22:21 Alexander Konovalov wrote: >> On Monday, September 1, 2014 10:30:30 AM UTC+1, Stein William wrote: >> > I'm cc'ing this to sage-devel. It is about GAPs long, long list of >> > packages, most of which we don't include or even package optionally >> > for Sage... >> > >> > On Fri, Aug 29, 2014 at 3:18 AM, Alexander Konovalov >> > >> > > wrote: >> > > On Friday, August 29, 2014 8:06:33 AM UTC+1, Stein William wrote: >> > >> > There are a large number of packages here. >> > >> > >> > >> > http://www.gap-system.org/Packages/packages.html >> > >> > >> > >> > Which ones should I install? All of them? Some of them? >> > >> > >> > >> > >> > >> > >> > >> > Can you ask at the meeting? >> > >> >> > >> Do you know if I could install *all* of them, or do some change >> > >> >> > >> behavior of Gap and interfere with others? Or, like with Python, >> > >> >> > >> possibly increase startup time. >> > > >> > > Installing all packages will not increase GAP startup time, since they >> > >> > are not loaded (it's not a good idea to load all packages simultaneously). >> > It will only increase the disk space used by GAP. OTOH, the user will be >> > able to use GAP help system to search across manuals of ALL packages >> > installed on the system. >> > >> > > Then, since the same packages will be loaded after default GAP startup, >> > >> > the user will have the same experience in both cases. >> > >> > > Furthermore, testing the GAP distribution, we ensure that this >> > >> > particular set of packages is fitting together, so I'd not guarantee that >> > tearing it apart will not cause any side effects. >> > >> > >> > Can I use BOB to install all the "accepted GAP packages" into an >> > existing GAP install? It seems to me that BOB both builds GAP and >> > installs all packages into that GAP. I don't want that -- I instead >> > want to use the GAP I built as part of Sage. >> > >> > Also, in general, my understanding is that installing a GAP package is >> > explained here >> > >> >http://www.gap-system.org/Manuals/doc/ref/chap76.html#X7B6CD527825945CD >> > >> > and basically that says to download the package, extract it, and >> > read/guess/etc. what to do next. In particular, what to do can be >> > anything from nothing, to really complicated, and there's no single >> > script to just run. I was expecting that I could just make a list of >> > packages and type something like >> > >> > gap -i names of packages ... >> > >> > and it would install all of them, like every other package system I've >> > ever used does (e.g., R, Pypi, Sage's, npm, and many others). If >> > BOB can basically do exactly this, then that's very, very cool and a >> > great contribution to GAP. If you could quickly summarize the >> > situation about what BOB can actually do with an existing GAP install, >> > it would be greatly appreciated. (I haven't just tried diving into >> > BOB due to lack of time.) >> > >> > Thanks, >> > >> > -- William >> >> Thank you for questions. At the moment, BOB performs a new install, so it's >> not suitable to update an existing GAP installation. That is a suggestion >> for the future perhaps, for BOB or for any other package manager for GAP >> that may appear. I was recommending BOB in response to Samuel saying "... >> alternatively, would it be possible to have a separate full GAP install?". >> If you prefer just to add some more packages to the GAP version that is >> built as part of Sage, and do not want all of them for some reasons, then >> it would be great at least to ensure that all packages listed under the >> 'PackagesToLoad' user preference in lib/package.gi are included: >> >> default:= [ "autpgrp", "alnuth", "crisp", "ctbllib", "factint", "fga", >> "irredsol", "laguna", "polenta", "polycyclic", "resclasses", >> "sophus", "tomlib" ], >> >> >> But the actual list will be larger, since these default packages have some >> dependencies, as can be seen from the GAP startup information: >> ┌───┐ GAP, Version 4
Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org
That's a point were I think I should chip in some info. When sage moved to gap 4.5+ I was in pain making a new ebuild for sage-on- gentoo. Initially I was just installing the full gap instead of a trimmed version. Installation takes ages. I have now trimmed things a little bit but it still take ages - but still an improvement. I had to very quickly blacklist xgap, removing it altogether. In gap 4.5.x it would automatically load when gap was started in sage and cause sage to hang. It took us a little while to pinpoint it. https://github.com/cschwan/sage-on-gentoo/issues/189 in particular https://github.com/cschwan/sage-on-gentoo/issues/189#issuecomment-12587392 Installing the rest had an effect on a couple of doctests if I remember correctly but nothing dramatic. Francois On Tue, 02 Sep 2014 15:22:21 Alexander Konovalov wrote: > On Monday, September 1, 2014 10:30:30 AM UTC+1, Stein William wrote: > > I'm cc'ing this to sage-devel. It is about GAPs long, long list of > > packages, most of which we don't include or even package optionally > > for Sage... > > > > On Fri, Aug 29, 2014 at 3:18 AM, Alexander Konovalov > > > > > wrote: > > > On Friday, August 29, 2014 8:06:33 AM UTC+1, Stein William wrote: > > >> > There are a large number of packages here. > > >> > > > >> > http://www.gap-system.org/Packages/packages.html > > >> > > > >> > Which ones should I install? All of them? Some of them? > > >> > > > >> > > > >> > > > >> > Can you ask at the meeting? > > >> > > >> Do you know if I could install *all* of them, or do some change > > >> > > >> behavior of Gap and interfere with others? Or, like with Python, > > >> > > >> possibly increase startup time. > > > > > > Installing all packages will not increase GAP startup time, since they > > > > are not loaded (it's not a good idea to load all packages simultaneously). > > It will only increase the disk space used by GAP. OTOH, the user will be > > able to use GAP help system to search across manuals of ALL packages > > installed on the system. > > > > > Then, since the same packages will be loaded after default GAP startup, > > > > the user will have the same experience in both cases. > > > > > Furthermore, testing the GAP distribution, we ensure that this > > > > particular set of packages is fitting together, so I'd not guarantee that > > tearing it apart will not cause any side effects. > > > > > > Can I use BOB to install all the "accepted GAP packages" into an > > existing GAP install? It seems to me that BOB both builds GAP and > > installs all packages into that GAP. I don't want that -- I instead > > want to use the GAP I built as part of Sage. > > > > Also, in general, my understanding is that installing a GAP package is > > explained here > > > >http://www.gap-system.org/Manuals/doc/ref/chap76.html#X7B6CD527825945CD > > > > and basically that says to download the package, extract it, and > > read/guess/etc. what to do next. In particular, what to do can be > > anything from nothing, to really complicated, and there's no single > > script to just run. I was expecting that I could just make a list of > > packages and type something like > > > > gap -i names of packages ... > > > > and it would install all of them, like every other package system I've > > ever used does (e.g., R, Pypi, Sage's, npm, and many others). If > > BOB can basically do exactly this, then that's very, very cool and a > > great contribution to GAP. If you could quickly summarize the > > situation about what BOB can actually do with an existing GAP install, > > it would be greatly appreciated. (I haven't just tried diving into > > BOB due to lack of time.) > > > > Thanks, > > > > -- William > > Thank you for questions. At the moment, BOB performs a new install, so it's > not suitable to update an existing GAP installation. That is a suggestion > for the future perhaps, for BOB or for any other package manager for GAP > that may appear. I was recommending BOB in response to Samuel saying "... > alternatively, would it be possible to have a separate full GAP install?". > If you prefer just to add some more packages to the GAP version that is > built as part of Sage, and do not want all of them for some reasons, then > it would be great at least to ensure that all packages listed under the > 'PackagesToLoad' user preference in lib/package.gi are included: > > default:= [ "autpgrp", "alnuth", "crisp", "ctbllib", "factint", "fga", > "irredsol", "laguna", "polenta", "polycyclic", "resclasses", > "sophus", "tomlib" ], > > > But the actual list will be larger, since these default packages have some > dependencies, as can be seen from the GAP startup information: > ┌───┐ GAP, Version 4.7.5 of 24-May-2014 (free software, GPL) > │ GAP │ http://www.gap-system.org > └───┘ Architecture: x86_64-unknown-linux-gnu-gcc-default64 > Libs used: gmp, readline > Loading the library and pack
Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org
Hi Sage-devs, Is there anybody out there whose interested in (greatly) increasing the number of optional gap packages in the optional GAP spkg for Sage? This thread has a lot of info about this.In particular, this would be very beneficial to SageMathCloud... -- William On Tue, Sep 2, 2014 at 3:22 PM, Alexander Konovalov wrote: > On Monday, September 1, 2014 10:30:30 AM UTC+1, Stein William wrote: >> >> I'm cc'ing this to sage-devel. It is about GAPs long, long list of >> packages, most of which we don't include or even package optionally >> for Sage... >> >> On Fri, Aug 29, 2014 at 3:18 AM, Alexander Konovalov >> wrote: >> > On Friday, August 29, 2014 8:06:33 AM UTC+1, Stein William wrote: >> >> > There are a large number of packages here. >> >> >> >> > >> >> >> >> > http://www.gap-system.org/Packages/packages.html >> >> >> >> > >> >> >> >> > Which ones should I install? All of them? Some of them? >> >> >> >> > >> >> >> >> > Can you ask at the meeting? >> >> >> >> >> >> >> >> Do you know if I could install *all* of them, or do some change >> >> >> >> behavior of Gap and interfere with others? Or, like with Python, >> >> >> >> possibly increase startup time. >> >> >> > >> > Installing all packages will not increase GAP startup time, since they >> > are not loaded (it's not a good idea to load all packages simultaneously). >> > It will only increase the disk space used by GAP. OTOH, the user will be >> > able to use GAP help system to search across manuals of ALL packages >> > installed on the system. >> > >> > Then, since the same packages will be loaded after default GAP startup, >> > the user will have the same experience in both cases. >> > >> > Furthermore, testing the GAP distribution, we ensure that this >> > particular set of packages is fitting together, so I'd not guarantee that >> > tearing it apart will not cause any side effects. >> > >> >> Can I use BOB to install all the "accepted GAP packages" into an >> existing GAP install? It seems to me that BOB both builds GAP and >> installs all packages into that GAP. I don't want that -- I instead >> want to use the GAP I built as part of Sage. >> >> Also, in general, my understanding is that installing a GAP package is >> explained here >> >>http://www.gap-system.org/Manuals/doc/ref/chap76.html#X7B6CD527825945CD >> >> and basically that says to download the package, extract it, and >> read/guess/etc. what to do next. In particular, what to do can be >> anything from nothing, to really complicated, and there's no single >> script to just run. I was expecting that I could just make a list of >> packages and type something like >> >> gap -i names of packages ... >> >> and it would install all of them, like every other package system I've >> ever used does (e.g., R, Pypi, Sage's, npm, and many others). If >> BOB can basically do exactly this, then that's very, very cool and a >> great contribution to GAP. If you could quickly summarize the >> situation about what BOB can actually do with an existing GAP install, >> it would be greatly appreciated. (I haven't just tried diving into >> BOB due to lack of time.) >> >> Thanks, >> >> -- William > > > Thank you for questions. At the moment, BOB performs a new install, so it's > not suitable to update an existing GAP installation. That is a suggestion > for the future perhaps, for BOB or for any other package manager for GAP > that may appear. I was recommending BOB in response to Samuel saying "... > alternatively, would it be possible to have a separate full GAP install?". > If you prefer just to add some more packages to the GAP version that is > built as part of Sage, and do not want all of them for some reasons, then it > would be great at least to ensure that all packages listed under the > 'PackagesToLoad' user preference in lib/package.gi are included: > > default:= [ "autpgrp", "alnuth", "crisp", "ctbllib", "factint", "fga", > "irredsol", "laguna", "polenta", "polycyclic", "resclasses", > "sophus", "tomlib" ], > > > But the actual list will be larger, since these default packages have some > dependencies, as can be seen from the GAP startup information: > > ┌───┐ GAP, Version 4.7.5 of 24-May-2014 (free software, GPL) > │ GAP │ http://www.gap-system.org > └───┘ Architecture: x86_64-unknown-linux-gnu-gcc-default64 > Libs used: gmp, readline > Loading the library and packages ... > Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0 > Packages: AClib 1.2, Alnuth 3.0.0, AtlasRep 1.5.0, AutPGrp 1.6, > Browse 1.8.5, Carat 2.1.4, CRISP 1.3.8, Cryst 4.1.12, > CrystCat 1.1.6, CTblLib 1.2.2, FactInt 1.5.3, FGA 1.2.0, > GAPDoc 1.5.1, IO 4.3.1, IRREDSOL 1.2.4, LAGUNA 3.6.4, > Polenta 1.3.2, Polycyclic 2.11, RadiRoot 2.7, ResClasses 3.3.2, > Sophus 1.23, SpinSym 1.5, TomLib 1.2.4 > Try '?help' for help. See also '?copyright' and '?authors' > gap> > > >
[sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org
On Monday, September 1, 2014 10:30:30 AM UTC+1, Stein William wrote: > > I'm cc'ing this to sage-devel. It is about GAPs long, long list of > packages, most of which we don't include or even package optionally > for Sage... > > On Fri, Aug 29, 2014 at 3:18 AM, Alexander Konovalov > > wrote: > > On Friday, August 29, 2014 8:06:33 AM UTC+1, Stein William wrote: > >> > There are a large number of packages here. > >> > >> > > >> > >> > http://www.gap-system.org/Packages/packages.html > >> > >> > > >> > >> > Which ones should I install? All of them? Some of them? > >> > >> > > >> > >> > Can you ask at the meeting? > >> > >> > >> > >> Do you know if I could install *all* of them, or do some change > >> > >> behavior of Gap and interfere with others? Or, like with Python, > >> > >> possibly increase startup time. > >> > > > > Installing all packages will not increase GAP startup time, since they > are not loaded (it's not a good idea to load all packages simultaneously). > It will only increase the disk space used by GAP. OTOH, the user will be > able to use GAP help system to search across manuals of ALL packages > installed on the system. > > > > Then, since the same packages will be loaded after default GAP startup, > the user will have the same experience in both cases. > > > > Furthermore, testing the GAP distribution, we ensure that this > particular set of packages is fitting together, so I'd not guarantee that > tearing it apart will not cause any side effects. > > > > Can I use BOB to install all the "accepted GAP packages" into an > existing GAP install? It seems to me that BOB both builds GAP and > installs all packages into that GAP. I don't want that -- I instead > want to use the GAP I built as part of Sage. > > Also, in general, my understanding is that installing a GAP package is > explained here > >http://www.gap-system.org/Manuals/doc/ref/chap76.html#X7B6CD527825945CD > > and basically that says to download the package, extract it, and > read/guess/etc. what to do next. In particular, what to do can be > anything from nothing, to really complicated, and there's no single > script to just run. I was expecting that I could just make a list of > packages and type something like > > gap -i names of packages ... > > and it would install all of them, like every other package system I've > ever used does (e.g., R, Pypi, Sage's, npm, and many others). If > BOB can basically do exactly this, then that's very, very cool and a > great contribution to GAP. If you could quickly summarize the > situation about what BOB can actually do with an existing GAP install, > it would be greatly appreciated. (I haven't just tried diving into > BOB due to lack of time.) > > Thanks, > > -- William > Thank you for questions. At the moment, BOB performs a new install, so it's not suitable to update an existing GAP installation. That is a suggestion for the future perhaps, for BOB or for any other package manager for GAP that may appear. I was recommending BOB in response to Samuel saying "... alternatively, would it be possible to have a separate full GAP install?". If you prefer just to add some more packages to the GAP version that is built as part of Sage, and do not want all of them for some reasons, then it would be great at least to ensure that all packages listed under the 'PackagesToLoad' user preference in lib/package.gi are included: default:= [ "autpgrp", "alnuth", "crisp", "ctbllib", "factint", "fga", "irredsol", "laguna", "polenta", "polycyclic", "resclasses", "sophus", "tomlib" ], But the actual list will be larger, since these default packages have some dependencies, as can be seen from the GAP startup information: ┌───┐ GAP, Version 4.7.5 of 24-May-2014 (free software, GPL) │ GAP │ http://www.gap-system.org └───┘ Architecture: x86_64-unknown-linux-gnu-gcc-default64 Libs used: gmp, readline Loading the library and packages ... Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0 Packages: AClib 1.2, Alnuth 3.0.0, AtlasRep 1.5.0, AutPGrp 1.6, Browse 1.8.5, Carat 2.1.4, CRISP 1.3.8, Cryst 4.1.12, CrystCat 1.1.6, CTblLib 1.2.2, FactInt 1.5.3, FGA 1.2.0, GAPDoc 1.5.1, IO 4.3.1, IRREDSOL 1.2.4, LAGUNA 3.6.4, Polenta 1.3.2, Polycyclic 2.11, RadiRoot 2.7, ResClasses 3.3.2, Sophus 1.23, SpinSym 1.5, TomLib 1.2.4 Try '?help' for help. See also '?copyright' and '?authors' gap> Ideally, starting GAP from Sage, one should be able to see the same. Best regards Alexander -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at
Re: [sage-devel] error installing package ppl-1.1
On Tue, 02 Sep 2014 05:55:51 'Paul Mercat' via sage-devel wrote: > I've done what you proposed, but I get the same error. > Here is the new log file. > > Le mardi 2 septembre 2014 14:42:01 UTC+2, Paul Mercat a écrit : > > Le mardi 2 septembre 2014 14:34:16 UTC+2, Jeroen Demeyer a écrit : > >> Please send the *whole* log file > >> /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log I think the obvious problem is that we are picking the wrong version of glpk. Do you have glpk installed on the system in either /usr (from a rpm) or /usr/local? We may also want to look at /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/config.log Francois -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] propcalc vs sat
Hi, looking at this ask question : http://ask.sagemath.org/question/24024/satisfying-assignments/ i tried to turn a propcalc formula into a sat (DIMACS) one since those two sage modules are intimately related. The only candidate i found on the propcalc side is the .satformat() but then i could not figure out how to use this string to create a DIMACS instance. Looking at the DIMACS class, it seems there are only methods to write DIMACS files, but i could not find anything to read such files. Any hint ? Ciao, Thierry -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Make ARM a supported platform
Hi, Le 02/09/2014 15:26, Jean-Pierre Flori a écrit : On Tuesday, September 2, 2014 3:13:09 PM UTC+2, mmarco wrote: You mean like using SAGE_ATLAS_LIB to avoid shipping a too optimized version of that lib? My comment was more in the line of making sure that the resulting compiled code does not use instructions that are not available at the raspberry pi processor. IIRC that means making sure that we compile for ARMv6 (although the raspberry pi has some more instructions than the plain ARMv6) I don't agree. More precisely, we should definitely have an ARMv7+ version. Having an additional ARMv6 version targetting Raspberry Pis would be nice. In my experience, the only realy issue with the RPi is the limited amount of RAM which enforces you to mount a swap partition for some big compilation not to fail (I'd say linbox)... and it takes a very long time. Even ATLAS should compile fine. Whatever we have, there should be more recent bdist tarballs available... Snark on #sagemath -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Is 1 a prime power?
Is this a possibly related issue: sage: O(7^0) --- ArithmeticError Traceback (most recent call last) in () > 1 O(Integer(7)**Integer(0)) /usr/local/sage/sage-current/local/lib/python2.7/site-packages/sage/rings/big_oh.pyc in O(*x) 84 F = arith.factor(x) 85 if len(F) != 1: ---> 86 raise ArithmeticError("x must be prime power") 87 p, r = F[0] 88 if r >= 0: ArithmeticError: x must be prime power On Tuesday, 2 September 2014 17:02:45 UTC+2, John Cremona wrote: > > On 29 August 2014 12:32, Simon King > > wrote: > > Hi John, > > > > On 2014-08-29, John Cremona > wrote: > >> 1 is definitely not a prime power. > > > > OEIS says it is: http://oeis.org/A000961 > > Not any more: http://oeis.org/A246655. The OEIS now distinguishes > between "prime powers" and "powers of primes". > > John > > > > >> It's basically the same reason that 1 > >> is not a prime. > > > > It's basically the same reason that the empty product evaluates to 1. > > > > Best regards, > > Simon > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sage-devel+...@googlegroups.com . > > To post to this group, send email to sage-...@googlegroups.com > . > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Fwd: SAGE in the cloud and Python 3
(This is a sage-devel question, not one for me personally or for sage-cloud; please join that mailing list.) For example, Volker remarks "There has been some steady progress by Wilfried Luebbe and André Apitzsch to move towards Python 3. Meta-tickets: http://trac.sagemath.org/ticket/16052 http://trac.sagemath.org/ticket/15980 " -- Forwarded message -- From: Date: Tue, Sep 2, 2014 at 9:12 AM Subject: Re: SAGE in the cloud and Python 3 To: William A Stein Ok, but I saw that SciPy and Numpy were Py3 compatible now : http://www.scipy.org/scipylib/faq.html#do-numpy-and-scipy-support-python-3-x So, why ? Isn’t Py3 the obvious future of Python ? Most universities here teach Python 3. Thanks, -jpr Le 2 sept. 2014 à 18:06, William A Stein a écrit : > On Tue, Sep 2, 2014 at 8:41 AM, wrote: >> Hi William ! >> When will SAGE be Python 3 compatible ? I tried with range and it’s still >> Python 2… >> Thanks, > > As far as I know, we currently have no specific concrete plans for > transition sage from Python 2 to Python 3. I've cc'd the > sage-devel list in case there's something brewing. > > You could use command-line Python 3 in a terminal on SMC by creating a > terminal then typing "python3". > > -- William > > -- > William Stein > Professor of Mathematics > University of Washington > http://wstein.org > wst...@uw.edu > -- William Stein Professor of Mathematics University of Washington http://wstein.org wst...@uw.edu -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: SAGE in the cloud and Python 3
There has been some steady progress by Wilfried Luebbe and André Apitzsch to move towards Python 3. Meta-tickets: http://trac.sagemath.org/ticket/16052 http://trac.sagemath.org/ticket/15980 On Tuesday, September 2, 2014 5:07:09 PM UTC+1, wstein wrote: > > On Tue, Sep 2, 2014 at 8:41 AM, > > wrote: > > Hi William ! > > When will SAGE be Python 3 compatible ? I tried with range and it’s > still Python 2… > > Thanks, > > As far as I know, we currently have no specific concrete plans for > transition sage from Python 2 to Python 3. I've cc'd the > sage-devel list in case there's something brewing. > > You could use command-line Python 3 in a terminal on SMC by creating a > terminal then typing "python3". > > -- William > > -- > William Stein > Professor of Mathematics > University of Washington > http://wstein.org > wst...@uw.edu > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: One-click installer for Vbox+Sage
No I mean unix passwords are not known. Servers are not running by default. No open door that I know, no obvious way to get hacked easily. Not even me remember built in passwords. VM starts to desktop, so you can change unix passwords and start sage notebook/server with physical access, which was the planned use case. Sage notebook admin password is asked for at first start, nothing built in. But this is an old version and design choices may vary. Whenever building a new VM it may be NAT and headless, as easy as possible, windows friendly. Nothing to be scared. kind regards On Tuesday, September 2, 2014 3:03:39 PM UTC, Volker Braun wrote: > > You mean the notebook password? I'm more worried about the unix user/root > password in the VM. They can of course be changed with physical access but > not in a particularly user-friendly way ;-) > > > > On Tuesday, September 2, 2014 3:48:04 PM UTC+1, Emil Widmann wrote: >> >> I used bridged network, because I preconfigured a small sage server. >> Passwords are not known, but can be reset in the VM. >> >> Am Dienstag, 2. September 2014 13:42:20 UTC schrieb Volker Braun: >>> >>> That depends on whether the virtualbox networking is set to NAT or >>> bridged mode. >>> >>> I'm strongly in favor of NAT as default when providing a VM with known >>> password(s). Of course we could have a UI that locally asks for passwords >>> and then changes them in the VM before making it available on the network, >>> but thats probably for later. >>> >>> >>> On Tuesday, September 2, 2014 2:19:33 PM UTC+1, mmarco wrote: Does that show the IP from the point of view of the guest, or from the host? If the ports are correctly forwarded, localhost or 127.0.0.1 should work. El martes, 2 de septiembre de 2014 11:41:16 UTC+2, Emil Widmann escribió: > > Thanks for that line, looks promising! - you sure know your Vbox > commandline options. I am going to give that a try. > > cheers > > emil > > Am Dienstag, 2. September 2014 08:33:08 UTC+2 schrieb Jori Mantysalo: >> >> On Mon, 1 Sep 2014, Emil Widmann wrote: >> >> > Sure, more work is needed. >> >> > I just included the vanilla vbox installer and thought some >> verbosity might >> > be good for a prototype (back in 2011). >> > I have a different setup of the network, so localhost:8080 may not >> work. >> >> If virtual machine has additions installed, then >> >> VBoxManage guestproperty get "VM name" >> "/VirtualBox/GuestInfo/Net/0/V4/IP" >> >> will show IP, like >> >> Value: 10.0.2.15 >> >> In Linux we could do something like "firefox $(VBoxManage... | cut -f >> 2 -d >> ' '):8080", but is it possible with only .bat files on Windows? If >> not, >> then we need few lines of C (or something) to get this done. >> >> -- >> Jori Mäntysalo >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: SAGE in the cloud and Python 3
On Tue, Sep 2, 2014 at 8:41 AM, wrote: > Hi William ! > When will SAGE be Python 3 compatible ? I tried with range and it’s still > Python 2… > Thanks, As far as I know, we currently have no specific concrete plans for transition sage from Python 2 to Python 3. I've cc'd the sage-devel list in case there's something brewing. You could use command-line Python 3 in a terminal on SMC by creating a terminal then typing "python3". -- William -- William Stein Professor of Mathematics University of Washington http://wstein.org wst...@uw.edu -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: One-click installer for Vbox+Sage
You mean the notebook password? I'm more worried about the unix user/root password in the VM. They can of course be changed with physical access but not in a particularly user-friendly way ;-) On Tuesday, September 2, 2014 3:48:04 PM UTC+1, Emil Widmann wrote: > > I used bridged network, because I preconfigured a small sage server. > Passwords are not known, but can be reset in the VM. > > Am Dienstag, 2. September 2014 13:42:20 UTC schrieb Volker Braun: >> >> That depends on whether the virtualbox networking is set to NAT or >> bridged mode. >> >> I'm strongly in favor of NAT as default when providing a VM with known >> password(s). Of course we could have a UI that locally asks for passwords >> and then changes them in the VM before making it available on the network, >> but thats probably for later. >> >> >> On Tuesday, September 2, 2014 2:19:33 PM UTC+1, mmarco wrote: >>> >>> Does that show the IP from the point of view of the guest, or from the >>> host? >>> >>> If the ports are correctly forwarded, localhost or 127.0.0.1 should work. >>> >>> El martes, 2 de septiembre de 2014 11:41:16 UTC+2, Emil Widmann escribió: Thanks for that line, looks promising! - you sure know your Vbox commandline options. I am going to give that a try. cheers emil Am Dienstag, 2. September 2014 08:33:08 UTC+2 schrieb Jori Mantysalo: > > On Mon, 1 Sep 2014, Emil Widmann wrote: > > > Sure, more work is needed. > > > I just included the vanilla vbox installer and thought some > verbosity might > > be good for a prototype (back in 2011). > > I have a different setup of the network, so localhost:8080 may not > work. > > If virtual machine has additions installed, then > > VBoxManage guestproperty get "VM name" > "/VirtualBox/GuestInfo/Net/0/V4/IP" > > will show IP, like > > Value: 10.0.2.15 > > In Linux we could do something like "firefox $(VBoxManage... | cut -f > 2 -d > ' '):8080", but is it possible with only .bat files on Windows? If > not, > then we need few lines of C (or something) to get this done. > > -- > Jori Mäntysalo > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Is 1 a prime power?
On 29 August 2014 12:32, Simon King wrote: > Hi John, > > On 2014-08-29, John Cremona wrote: >> 1 is definitely not a prime power. > > OEIS says it is: http://oeis.org/A000961 Not any more: http://oeis.org/A246655. The OEIS now distinguishes between "prime powers" and "powers of primes". John > >> It's basically the same reason that 1 >> is not a prime. > > It's basically the same reason that the empty product evaluates to 1. > > Best regards, > Simon > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: tightpage=True gives error
With dot2tex-20120520 and sage-6.3, the command sage: view(Poset( ([1,2,3,4,5],[[1,2],[1,3],[3,4],[2,5],[4,5]]) ),tightpage=True) works for me. Sébastien -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: tightpage=True gives error
What version of Sage? What version of dot2tex? What is the traceback (apparently, you can get it with %tb) ? Sébastien -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: One-click installer for Vbox+Sage
I used bridged network, because I preconfigured a small sage server. Passwords are not known, but can be reset in the VM. Am Dienstag, 2. September 2014 13:42:20 UTC schrieb Volker Braun: > > That depends on whether the virtualbox networking is set to NAT or bridged > mode. > > I'm strongly in favor of NAT as default when providing a VM with known > password(s). Of course we could have a UI that locally asks for passwords > and then changes them in the VM before making it available on the network, > but thats probably for later. > > > On Tuesday, September 2, 2014 2:19:33 PM UTC+1, mmarco wrote: >> >> Does that show the IP from the point of view of the guest, or from the >> host? >> >> If the ports are correctly forwarded, localhost or 127.0.0.1 should work. >> >> El martes, 2 de septiembre de 2014 11:41:16 UTC+2, Emil Widmann escribió: >>> >>> Thanks for that line, looks promising! - you sure know your Vbox >>> commandline options. I am going to give that a try. >>> >>> cheers >>> >>> emil >>> >>> Am Dienstag, 2. September 2014 08:33:08 UTC+2 schrieb Jori Mantysalo: On Mon, 1 Sep 2014, Emil Widmann wrote: > Sure, more work is needed. > I just included the vanilla vbox installer and thought some verbosity might > be good for a prototype (back in 2011). > I have a different setup of the network, so localhost:8080 may not work. If virtual machine has additions installed, then VBoxManage guestproperty get "VM name" "/VirtualBox/GuestInfo/Net/0/V4/IP" will show IP, like Value: 10.0.2.15 In Linux we could do something like "firefox $(VBoxManage... | cut -f 2 -d ' '):8080", but is it possible with only .bat files on Windows? If not, then we need few lines of C (or something) to get this done. -- Jori Mäntysalo >>> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: One-click installer for Vbox+Sage
That depends on whether the virtualbox networking is set to NAT or bridged mode. I'm strongly in favor of NAT as default when providing a VM with known password(s). Of course we could have a UI that locally asks for passwords and then changes them in the VM before making it available on the network, but thats probably for later. On Tuesday, September 2, 2014 2:19:33 PM UTC+1, mmarco wrote: > > Does that show the IP from the point of view of the guest, or from the > host? > > If the ports are correctly forwarded, localhost or 127.0.0.1 should work. > > El martes, 2 de septiembre de 2014 11:41:16 UTC+2, Emil Widmann escribió: >> >> Thanks for that line, looks promising! - you sure know your Vbox >> commandline options. I am going to give that a try. >> >> cheers >> >> emil >> >> Am Dienstag, 2. September 2014 08:33:08 UTC+2 schrieb Jori Mantysalo: >>> >>> On Mon, 1 Sep 2014, Emil Widmann wrote: >>> >>> > Sure, more work is needed. >>> >>> > I just included the vanilla vbox installer and thought some verbosity >>> might >>> > be good for a prototype (back in 2011). >>> > I have a different setup of the network, so localhost:8080 may not >>> work. >>> >>> If virtual machine has additions installed, then >>> >>> VBoxManage guestproperty get "VM name" >>> "/VirtualBox/GuestInfo/Net/0/V4/IP" >>> >>> will show IP, like >>> >>> Value: 10.0.2.15 >>> >>> In Linux we could do something like "firefox $(VBoxManage... | cut -f 2 >>> -d >>> ' '):8080", but is it possible with only .bat files on Windows? If not, >>> then we need few lines of C (or something) to get this done. >>> >>> -- >>> Jori Mäntysalo >>> >> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Make ARM a supported platform
On Tuesday, September 2, 2014 3:13:09 PM UTC+2, mmarco wrote: > > >> You mean like using SAGE_ATLAS_LIB to avoid shipping a too optimized >> version of that lib? >> >> > My comment was more in the line of making sure that the resulting compiled > code does not use instructions that are not available at the raspberry pi > processor. IIRC that means making sure that we compile for ARMv6 (although > the raspberry pi has some more instructions than the plain ARMv6) > I don't agree. More precisely, we should definitely have an ARMv7+ version. Having an additional ARMv6 version targetting Raspberry Pis would be nice. In my experience, the only realy issue with the RPi is the limited amount of RAM which enforces you to mount a swap partition for some big compilation not to fail (I'd say linbox)... and it takes a very long time. Even ATLAS should compile fine. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: One-click installer for Vbox+Sage
Does that show the IP from the point of view of the guest, or from the host? If the ports are correctly forwarded, localhost or 127.0.0.1 should work. El martes, 2 de septiembre de 2014 11:41:16 UTC+2, Emil Widmann escribió: > > Thanks for that line, looks promising! - you sure know your Vbox > commandline options. I am going to give that a try. > > cheers > > emil > > Am Dienstag, 2. September 2014 08:33:08 UTC+2 schrieb Jori Mantysalo: >> >> On Mon, 1 Sep 2014, Emil Widmann wrote: >> >> > Sure, more work is needed. >> >> > I just included the vanilla vbox installer and thought some verbosity >> might >> > be good for a prototype (back in 2011). >> > I have a different setup of the network, so localhost:8080 may not >> work. >> >> If virtual machine has additions installed, then >> >> VBoxManage guestproperty get "VM name" >> "/VirtualBox/GuestInfo/Net/0/V4/IP" >> >> will show IP, like >> >> Value: 10.0.2.15 >> >> In Linux we could do something like "firefox $(VBoxManage... | cut -f 2 >> -d >> ' '):8080", but is it possible with only .bat files on Windows? If not, >> then we need few lines of C (or something) to get this done. >> >> -- >> Jori Mäntysalo >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Make ARM a supported platform
> > > You mean like using SAGE_ATLAS_LIB to avoid shipping a too optimized > version of that lib? > > My comment was more in the line of making sure that the resulting compiled code does not use instructions that are not available at the raspberry pi processor. IIRC that means making sure that we compile for ARMv6 (although the raspberry pi has some more instructions than the plain ARMv6) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] error installing package ppl-1.1
It looks like a problem with GLPK. Could you re-install glpk with $ ./sage -f glpk and then continue the build with $ make -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] error installing package ppl-1.1
Please send the *whole* log file /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] error installing package ppl-1.1
Hi ! I have the following error during the compilation of sage : gcc -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces/C -I/home/paul.mercat/sage/local/include -g -O2 -frounding-math -W -Wall -MT glpk_set_d_eps.o -MD -MP -MF .deps/glpk_set_d_eps.Tpo -c -o glpk_set_d_eps.o glpk_set_d_eps.c mv -f .deps/glpk_set_d_eps.Tpo .deps/glpk_set_d_eps.Po rm -f libglpk_set_d_eps.a ar cru libglpk_set_d_eps.a glpk_set_d_eps.o ranlib libglpk_set_d_eps.a gcc -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces/C -I/home/paul.mercat/sage/local/include -pedantic -std=gnu89 -g -O2 -frounding-math -W -Wall -MT ppl_lpsol-ppl_lpsol.o -MD -MP -MF .deps/ppl_lpsol-ppl_lpsol.Tpo -c -o ppl_lpsol-ppl_lpsol.o `test -f 'ppl_lpsol.c' || echo './'`ppl_lpsol.c ppl_lpsol.c: In function 'maybe_check_results': ppl_lpsol.c:595:5: warning: implicit declaration of function 'glp_exact' [-Wimplicit-function-declaration] ppl_lpsol.c: In function 'solve': ppl_lpsol.c:1038:3: error: unknown type name 'glp_mpscp' ppl_lpsol.c:1041:3: warning: implicit declaration of function 'glp_init_mpscp' [-Wimplicit-function-declaration] ppl_lpsol.c:1054:3: warning: implicit declaration of function 'glp_read_mps' [-Wimplicit-function-declaration] ppl_lpsol.c:1054:29: error: 'GLP_MPS_FILE' undeclared (first use in this function) ppl_lpsol.c:1054:29: note: each undeclared identifier is reported only once for each function it appears in make[8]: *** [ppl_lpsol-ppl_lpsol.o] Error 1 make[8]: Leaving directory `/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/demos/ppl_lpsol' make[7]: *** [all-recursive] Error 1 make[7]: Leaving directory `/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/demos/ppl_lpsol' make[6]: *** [all-recursive] Error 1 make[6]: Leaving directory `/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/demos' make[5]: *** [all-recursive] Error 1 make[5]: Leaving directory `/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src' make[4]: *** [all] Error 2 make[4]: Leaving directory `/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src' Error building the Parma Polyhedra Library. real 8m29.527s user 7m28.497s sys 0m26.911s Error installing package ppl-1.1 Please email sage-devel (http://groups.google.com/group/sage-devel) explaining the problem and including the relevant part of the log file /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log Describe your computer, operating system, etc. If you want to try to fix the problem yourself, *don't* just cd to /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1 and type 'make' or whatever is appropriate. Instead, the following commands setup all environment variables correctly and load a subshell for you to debug the error: (cd '/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1' && '/home/paul.mercat/sage/sage' --sh) When you are done debugging, you can type "exit" to leave the subshell. make[3]: *** [/home/paul.mercat/sage/local/var/lib/sage/installed/ppl-1.1] Error 1 make[3]: Leaving directory `/home/paul.mercat/sage/build' make[2]: *** [toolchain-deps] Error 2 make[2]: Leaving directory `/home/paul.mercat/sage/build' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/paul.mercat/sage/build' real 85m52.764s user 68m37.669s sys 8m0.649s *** Error building Sage. The following package(s) may have failed to build: package: ppl-1.1 log file: /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log build directory: /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1 The build directory may contain configuration files and other potentially helpful information. WARNING: if you now run 'make' again, the build directory will, by default, be deleted. Set the environment variable SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this. make: *** [build] Error 1 - et voici ce que donne la commande : *[paul.mercat@octopus ~/sage]$ cat /proc/cpuinfo* *processor : 0* *vendor_id : GenuineIntel* *cpu family : 6* *model : 26* *model name : Intel(R) Xeon(R) CPU X5570 @ 2.93GHz* *stepping : 5* *cpu MHz : 1600.000* *cache size : 8192 KB* *physical id : 0* *siblings : 4* *core id : 0* *cpu cores : 4* *apicid : 0* *fpu : yes* *fpu_exception : yes* *cpuid level : 11* *wp : yes* *flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm* *bogomips : 5867.08* *clflush size : 64* *cache_alignment : 64* *address sizes : 40 bits physical, 48 bits virtual* *power management: [8]* *processor : 1* *vendor_id : GenuineIntel* *cpu family : 6* *model : 26* *model n
[sage-devel] Re: [sage-release] You don't really think that Sage has failed, do you? (a comment about it)
On Tuesday, September 2, 2014, Nicolas M. Thiery wrote: > On Fri, Aug 29, 2014 at 10:03:52AM -0700, Bill Hart wrote: > >To my knowledge, the European Union funding agencies did not have a > >significant stake in the origin and development of Sage, > > Indeed, and this is by design :-) > > Well, at least in my little world. My strategy has always been > bottom-up. First get people to do the actual work. Then, as minimally > needed, look for funding. For its first ten years, *-Combinat was only > funded indirectly through research grants that had some computational > aspects. > > In general, the Sage ecosystem has progressively grown big in Europe > with little direct funding. Now we have reached a point where it's > time to change that! Exactly!! > > Cheers, > Nicolas > -- > Nicolas M. Thiéry "Isil" > > http://Nicolas.Thiery.name/ > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com . > To post to this group, send email to sage-devel@googlegroups.com > . > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- William Stein Professor of Mathematics University of Washington http://wstein.org wst...@uw.edu -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: [sage-release] You don't really think that Sage has failed, do you? (a comment about it)
On Fri, Aug 29, 2014 at 10:03:52AM -0700, Bill Hart wrote: >To my knowledge, the European Union funding agencies did not have a >significant stake in the origin and development of Sage, Indeed, and this is by design :-) Well, at least in my little world. My strategy has always been bottom-up. First get people to do the actual work. Then, as minimally needed, look for funding. For its first ten years, *-Combinat was only funded indirectly through research grants that had some computational aspects. In general, the Sage ecosystem has progressively grown big in Europe with little direct funding. Now we have reached a point where it's time to change that! Cheers, Nicolas -- Nicolas M. Thiéry "Isil" http://Nicolas.Thiery.name/ -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: [sage-release] You don't really think that Sage has failed, do you? (a comment about it)
On Thu, Aug 28, 2014 at 05:06:37PM +0530, Nicolas M. Thiery wrote: > On my side, I am going to coordinate a European grant application > (submission: January 2015) around the Sage ecosystem (including GAP, > Pari, ...), with main goal to fund a couple full time devs over the > next few years: > > https://github.com/sagemath/grant-europe ... Thanks everyone for your feedback, insight, and food for thought! Cheers, Nicolas -- Nicolas M. Thiéry "Isil" http://Nicolas.Thiery.name/ -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: One-click installer for Vbox+Sage
Thanks for that line, looks promising! - you sure know your Vbox commandline options. I am going to give that a try. cheers emil Am Dienstag, 2. September 2014 08:33:08 UTC+2 schrieb Jori Mantysalo: > > On Mon, 1 Sep 2014, Emil Widmann wrote: > > > Sure, more work is needed. > > > I just included the vanilla vbox installer and thought some verbosity > might > > be good for a prototype (back in 2011). > > I have a different setup of the network, so localhost:8080 may not work. > > If virtual machine has additions installed, then > > VBoxManage guestproperty get "VM name" "/VirtualBox/GuestInfo/Net/0/V4/IP" > > will show IP, like > > Value: 10.0.2.15 > > In Linux we could do something like "firefox $(VBoxManage... | cut -f 2 -d > ' '):8080", but is it possible with only .bat files on Windows? If not, > then we need few lines of C (or something) to get this done. > > -- > Jori Mäntysalo > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] tightpage=True gives error
On Mon, 1 Sep 2014, Travis Scrimshaw wrote: For example view(Poset( ([1,2,3,4,5], [[1,2],[1,3],[3,4],[2,5],[4,5]]) ), tightpage=True) does nothing. It takes a few seconds to feed it to my pdf viewer, but it works for me (and I have installed the dot2tex optional spkg). After installing dot2tex to sage on local machine the command says An exception has occurred, use %tb to see the full traceback. SystemExit: 1 To exit: use 'exit', 'quit', or Ctrl-D. -- Jori Mäntysalo -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: About docs (and code) of poset
On Tue, 2 Sep 2014, Nathann Cohen wrote: Because it is (mostly) irrelevant. Just as users should not be bothered by things like "There is a SSD disk in this computer" or "Calculations are actually executed on cloud" or "This mail was delivered with SMTP protocol". It's a point of faith, I believe. I feel that we owe users a good and simple interface, but our code contains bugs and we do fix them, and letting them know that is not a sin. There was a recent thread, however, were some developpers raised the same points and wanted the "TESTS" field (the place where we store those checks) to be hidden from the final doc. Either way, we (as developpers) should keep those things along, and independently of whether users should see them or not, it should not leave Sage's source code. +1 to TESTS. In the ideal world there would be different levels of documentation. Something like "Use Matrix(...) to create matrix. For example Matrix([[1,2],[3,4]]). Click here for more options." and after clicking user would find for example sparce-option. But of course developers time is finite resource, so I don't except this kind of stuff to be done within several years. -- Jori Mäntysalo -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: About docs (and code) of poset
> Because it is (mostly) irrelevant. Just as users should not be bothered by > things like "There is a SSD disk in this computer" or "Calculations are > actually executed on cloud" or "This mail was delivered with SMTP protocol". It's a point of faith, I believe. I feel that we owe users a good and simple interface, but our code contains bugs and we do fix them, and letting them know that is not a sin. There was a recent thread, however, were some developpers raised the same points and wanted the "TESTS" field (the place where we store those checks) to be hidden from the final doc. Either way, we (as developpers) should keep those things along, and independently of whether users should see them or not, it should not leave Sage's source code. Nathann -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: About docs (and code) of poset
On Tue, 2 Sep 2014, Nathann Cohen wrote: But at least user should not see details like "There was an error in code three years ago. We show that it is corrected by...". Why shouldn't we see it ? Because it is (mostly) irrelevant. Just as users should not be bothered by things like "There is a SSD disk in this computer" or "Calculations are actually executed on cloud" or "This mail was delivered with SMTP protocol". -- Jori Mäntysalo -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: About docs (and code) of poset
Y ! > I think that this is bad from user viewpoint. > > In the ideal world things would "just work". For a software like this it is > not possible --- there will always be notes of implemtation details and > limits of algorithms somewhere. But at least user should not see details > like "There was an error in code three years ago. We show that it is > corrected by...". Why shouldn't we see it ? Nathann -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: About docs (and code) of poset
On Tue, 2 Sep 2014, Nathann Cohen wrote: I would say that it should be the union of the two. Some examples are meant to the users, some are meant to test past bugs that we fixed, and we do not want to lose that. I think that this is bad from user viewpoint. In the ideal world things would "just work". For a software like this it is not possible --- there will always be notes of implemtation details and limits of algorithms somewhere. But at least user should not see details like "There was an error in code three years ago. We show that it is corrected by...". -- Jori Mäntysalo -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: About docs (and code) of poset
Hello ! > And how is documentation supposed to be? > > As I said, has_top() has same examples. mobius_function(x, y) has one common > example. mobius_function_matrix() has totally different examples. > open_interval() has basically same example. I would say that it should be the union of the two. Some examples are meant to the users, some are meant to test past bugs that we fixed, and we do not want to lose that. So if only one function remains, all examples should stay in Sage. Nathann -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: About docs (and code) of poset
On Tue, 2 Sep 2014, Nathann Cohen wrote: If there is a Poset function which is an exact copy of the HasseDiagram function, is there any reason for not removing the HasseDiagram one ? And how is documentation supposed to be? As I said, has_top() has same examples. mobius_function(x, y) has one common example. mobius_function_matrix() has totally different examples. open_interval() has basically same example. -- Jori Mäntysalo -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: About docs (and code) of poset
> > My understanding is Hasse diagram is the back-end digraph for the poset >> and many of the methods don't want to be inherited/exposed. However I'm not >> completely sure why that particular the design decision was made. >> > If there is a Poset function which is an exact copy of the HasseDiagram function, is there any reason for not removing the HasseDiagram one ? This class does not seem to be instanciated on its own. Nathann -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.