On Monday, September 30, 2013 11:42:43 PM UTC-7, Keshav Kini wrote:
>
>
>
> But as far as I know, Sage is not proof-aware in any way.
Why would you necessarily know about this? I am well aware
that Maxima, a component of Sage, has been used to generate proofs.
I assume it is not the only
Le mercredi 2 octobre 2013, Volker Braun a écrit :
> On Wednesday, October 2, 2013 4:57:53 PM UTC+1, Volker Braun wrote:
>>
>> 2) make sure that the ticket version actually works. Since it is an spkg
you'll have to copy the tarball manually into the upstream/ directory for
testing.
>
> Just realiz
Still better is this, in
~/.sage/ipython-0.12/profile_sage/ipython_config.py:
o = get_config()
try:
import curses
curses.initscr()
except:
print "can't initscr with curses"
pass
else:
try:
if not curses.has_colors():
o.SageInteractiveShell.colors = "NoCol
On Wednesday, October 2, 2013 1:07:21 PM UTC-7, mmarco wrote:
>
> I get it, thanks.
>
Actually, all the errors around failed conversions seem a little rough:
sage: M=matrix([[1,2],[3,4]])
sage: QQ(M)
TypeError: rational_reconstruction() takes exactly one argument (0 given)
sage: QQ.convert_map_
On 2013-10-02 18:28, a...@math.ucdavis.edu wrote:
Jean-Yves Thibon reported a similar problem. I suppose it is related?
Looks like the same bug indeed.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop rece
I get it, thanks.
El miércoles, 2 de octubre de 2013 18:12:42 UTC+2, Nils Bruin escribió:
>
> Your example looks suspicious because you're calling _unset_embeddings and
> then install an embedding. That's explicitly warned against in the
> documentation.
>
> What you're finding is that QQbar.conv
On 2013-10-02, Thomas Feulner wrote:
> The last post to this thread is 2 years old, but I have continued my work
> on canonical forms for linear codes.
>
> I have followed up Dima`s proposal and prepared a package, which is
> entirely written in Python/Cython, since there is no one willing to re
>From Jason Grout: "On 10/2/13 10:16 AM, William Stein wrote:
You usually do this...
Yes. I updated sfa to 5.11, and there don't seem to be any problems,
so it should be straightforward to switch the symbolic link for
everyone else too.
I'll try to do that this week.
Thanks,
Jason"
On Wed,
Jean-Yves Thibon reported a similar problem. I suppose it is related?
Anne
"This is a brand new macbook pro with mountain lion, and Xcode5 +
command line tools apparently correctly installed. Compilation aborts
after a few seconds, with a laconic message that mpir failed to
compile (because it c
Your example looks suspicious because you're calling _unset_embeddings and
then install an embedding. That's explicitly warned against in the
documentation.
What you're finding is that QQbar.convert_map_from(F) returns a broken map.
That happens also if you don't try to register an embedding at
On Wednesday, October 2, 2013 4:57:53 PM UTC+1, Volker Braun wrote:
> 2) make sure that the ticket version actually works. Since it is an spkg
> you'll have to copy the tarball manually into the upstream/ directory for
> testing.
>
Just realized that its an old-style spkg, so you just need to
ticket = b1f5e3ecc789db674fe17552812f2d0e2ab84be0
master = 3b15578530c5f0e8d904bfbe3bc885f1258fbcb4 (for now, the current
public/sage-git/master integration branch)
1) read the code introduced by the commits in the ticket branch "git show
ticket ^master".
2) make sure that the ticket version ac
On 2 October 2013 16:10, Martin Albrecht wrote:
> Hi all,
>
> I want (I guess I am supposed to) review
>
>http://trac.sagemath.org/ticket/15209
>
> which evidently uses the new git workflow. Since I so far ignored all that git
> chatter I am somewhat lost how to review this. I don't need hand
On Wednesday, October 2, 2013 2:46:45 AM UTC-4, Thomas Feulner wrote:
>
> The last post to this thread is 2 years old, but I have continued my work
> on canonical forms for linear codes.
>
> I have followed up Dima`s proposal and prepared a package, which is
> entirely written in Python/Cython, s
Can someone who knows how update sagenb.org to a more recent version of
Sage?
Thanks.
--
John
--
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+unsubs
Hi all,
I want (I guess I am supposed to) review
http://trac.sagemath.org/ticket/15209
which evidently uses the new git workflow. Since I so far ignored all that git
chatter I am somewhat lost how to review this. I don't need hand holding wrt
to basic git usage, but I am wondering what the
Thomas:
What is your goal here? To have codecan included standard in Sage or
as an optional package or as an experimental package? I ask because
it seems you have installed everything in local/lib/python2.7/site-packages.
Unless I am mistaken (and I easily could be) that is an unusual location
for
Am Mittwoch, 2. Oktober 2013 15:53:31 UTC+2 schrieb Simon King:
>
> On 2013-10-02, Jeroen Demeyer wrote:
> > Whatever you do, the end result should be that old pickles still
> > unpickle correctly.
>
> That's why I ask how one can replace a class with custom __new__ by a
> ClasscallMetaclass.
>
>
> I've submitted a pull request.
> https://github.com/matplotlib/matplotlib/pull/2468
>
>
If anyone cares about this, note that apparently MPL's list is the list of
colors from W3C. Sounds like they might still be okay with it - or would
we want to hack our copy of mpl? I'm agnostic abo
On 2013-10-02, Jeroen Demeyer wrote:
> Whatever you do, the end result should be that old pickles still
> unpickle correctly.
That's why I ask how one can replace a class with custom __new__ by a
ClasscallMetaclass.
Best regards,
Simon
--
You received this message because you are subscribed t
Whatever you do, the end result should be that old pickles still
unpickle correctly.
--
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...@google
Hi!
At #15247, I am introducing a class SingletonClass: If you write a class
and add SingletonClass to the list of bases, then your class will have a
unique instance plus fast comparison and hash. We have a similar thing
already, namely sage.categories.category_singleton.Category_singleton.
It wo
Thanks, Frederic. Your suggestions differs from Volker's in several
ways, which underlines the need, I think, for all this to be
documented somewhere!
* I installed the spkg instead of downloading a new repository from github
* I ran it on a machine where I had a clean 5.11 build and which I was
Hello,
If you want to run a patchbot on your own tickets, I would suggest the
following :
0) upload (i.e. clone) the latest patchbot from here :
https://github.com/robertwb/sage-patchbot
Then in a shell
1) cd sage-patchbot/src
2) ipython
3) from patchbot import Patchbot
4) P=Patchbot('your
On 2 October 2013 12:17, John Cremona wrote:
> On 2 October 2013 12:08, Volker Braun wrote:
>> On Wednesday, October 2, 2013 11:34:07 AM UTC+1, John Cremona wrote:
>>>
>>> > sage -patchbot # run
>>>
>>> Should this sage be the last official release, or the latest
>>> development release? And
97
97
I have found the following behaviour:
a=QQbar.zeta(3)
F=QQ[a]
h=F.embeddings(QQbar)[0]
F._unset_embedding()
F.register_embedding(h)
F.coerce_embedding()
QQbar._unset_coercions_used()
QQbar.register_coercion(h)
QQbar.convert_map_from(F)
Conversion map:
From: Number Field in a with
On Wed, Oct 2, 2013 at 2:46 AM, Thomas Feulner
wrote:
> The last post to this thread is 2 years old, but I have continued my work on
> canonical forms for linear codes.
>
> I have followed up Dima`s proposal and prepared a package, which is entirely
> written in Python/Cython, since there is no on
On Wed, Oct 2, 2013 at 6:07 AM, Jeroen Demeyer wrote:
> Hello,
>
> I want to contact Jon Hanke from UGA (Georgia) concerning the buildbot
> machine rosemary.math.uga.edu. He doesn't seem to respond to the email
> address I found on
> https://parsley.math.uga.edu/~jonhanke/Current/contact.html
Acc
On 2 October 2013 12:08, Volker Braun wrote:
> On Wednesday, October 2, 2013 11:34:07 AM UTC+1, John Cremona wrote:
>>
>> > sage -patchbot # run
>>
>> Should this sage be the last official release, or the latest
>> development release? And does the second line just keep running
>> forever (wh
On Wednesday, October 2, 2013 11:34:07 AM UTC+1, John Cremona wrote:
> > sage -patchbot # run
>
> Should this sage be the last official release, or the latest
> development release? And does the second line just keep running
> forever (which is fine)?
>
Its supposed to run forever, first
On 2 October 2013 11:28, Volker Braun wrote:
> Just install the optional spkg:
>
> sage -f patchbot # install
> sage -patchbot # run
Should this sage be the last official release, or the latest
development release? And does the second line just keep running
forever (which is fine)?
John
Just install the optional spkg:
sage -f patchbot # install
sage -patchbot # run
On Wednesday, October 2, 2013 9:50:30 AM UTC+1, John Cremona wrote:
>
> On 2 October 2013 09:43, Volker Braun >
> wrote:
> > Also, having more than my machine run the patchbot would be useful. My
> > desktop
Hello,
I want to contact Jon Hanke from UGA (Georgia) concerning the buildbot
machine rosemary.math.uga.edu. He doesn't seem to respond to the email
address I found on
https://parsley.math.uga.edu/~jonhanke/Current/contact.html
Anybody has contact information or has admin access to rosemary?
Maybe you should find somebody who works on linear codes to review, or ask
on sage-devel.
As for code style, it looks generally good. Better class names would help
(class _InnerGroup, class _Labra). Do we really need
a LinearCode_AutGroupCanLabel in the global namespace? Not only is the name
On 2 October 2013 09:43, Volker Braun wrote:
> Also, having more than my machine run the patchbot would be useful. My
> desktop is only connected via wifi currently.
Can you point me to instruction for setting this up? I have spare
capacity at the moment.
John
>
>
> On Tuesday, October 1, 2013
Also, having more than my machine run the patchbot would be useful. My
desktop is only connected via wifi currently.
On Tuesday, October 1, 2013 9:56:21 PM UTC+1, John Cremona wrote:
>
> The patchbot puts a blob on ticket
> http://trac.sagemath.org/ticket/13615 which to me looks dark grey and
On 2 October 2013 01:23, Robert Bradshaw wrote:
> It's grey because the patch attached to the ticket has not been
> tested. An earlier patch, checksum 91482af3be3c503b59cb42ca1ca70df8,
> did pass all tests.
Thanks -- and the only difference between the two is three colons have
been removed from b
37 matches
Mail list logo
