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 ins
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
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 Group
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:
>
> >
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
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 a
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
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
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
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 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 :
> >> Plea
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 no
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
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-pac
(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://
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, >
> w
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 wa
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
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, becau
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".
Joh
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
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
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 f
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 net
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 ava
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
>
>
>
> 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
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
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.c
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 -
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 :-)
>
>
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
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:
>
>
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 i
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).
Afte
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 b
> 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
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 i
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
> lik
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 "j
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 tw
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
>
> 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 HasseDia
43 matches
Mail list logo