Hi folks,
I'm trying to polish up modules in sage/logic and put them in the
reference manual. So far I've polished up sage/logic/logic.py and
sage/logic/booleval.py. I've created the file
doc/en/reference/logic.rst
with the the following content
*** BEGIN SCRIPT ***
Symbolic Logic
===
Michael, check your email.
Robert, I wish I could say I was doing research, but the truth is I
was trying (successfully) to solve
http://projecteuler.net/index.php?section=problems&id=215
or maybe http://projecteuler.net/index.php?section=problems&id=244.
Both can be attacked by graph theory mea
I thought the last build failure was due to a bad tarball, but I got
the exact same failure with an apparently good tarball. The md5:
% md5sum sage-4.0.alpha0.tar
7a8285f25e1aaa7b9b0726c8a60f24f5 sage-4.0.alpha0.tar
The failure occurred in sqlite:
configure: creating ./config.status
config.
On 19 May 2009, at 20:55, mabshoff wrote:
>
> On May 19, 5:34 pm, Kevin Horton wrote:
>>
>> On Tue, May 19, 2009 at 8:28 PM, mabshoff
>> wrote:
>>
>>> On May 19, 5:22 pm, Kevin Horton wrote:
Should sage-4.0.alpha0 build on OS X 10.5 PPC?
>>
>>> Yes, it should. What XCode release are you
On May 19, 5:34 pm, Kevin Horton wrote:
> Sorry about the last one - blasted Send button
>
> On Tue, May 19, 2009 at 8:28 PM, mabshoff wrote:
>
> > On May 19, 5:22 pm, Kevin Horton wrote:
> > > Should sage-4.0.alpha0 build on OS X 10.5 PPC?
>
> > Yes, it should. What XCode release are you usi
Sorry about the last one - blasted Send button
On Tue, May 19, 2009 at 8:28 PM, mabshoff wrote:
>
>
>
> On May 19, 5:22 pm, Kevin Horton wrote:
> > Should sage-4.0.alpha0 build on OS X 10.5 PPC?
>
> Yes, it should. What XCode release are you using?
>
I've got XCode 3.1.2, and now that I check I
On May 19, 5:22 pm, Kevin Horton wrote:
> Should sage-4.0.alpha0 build on OS X 10.5 PPC?
Yes, it should. What XCode release are you using?
> --
> Kevin Horton
> Ottawa, Canada
Cheers,
Michael
--~--~-~--~~~---~--~~
To post to this group, send email to sage-dev
Should sage-4.0.alpha0 build on OS X 10.5 PPC? I tried on my trusty
PowerBook, and building GMP failed with:
gcc -std=gnu99 -DHAVE_CONFIG_H -I. -I. -I.. -D__GMP_WITHIN_GMP -I.. -
DOPERATION_scan1 -I/sw/include -I/sw/include -c scan1.c -fno-common -
DPIC -o .libs/scan1.o
/bin/sh ../libtool
On May 19, 11:41 pm, mabshoff wrote:
> Well, in this case it is completely ironic that the zn_poly 0.9 code
> in FLINT is compiled, but not used since it causes a doctest failure
> in the Monsky code. When using only FLINT it passes the doctest. The
> failure is a different one compared to when
>> Note about the patch: to avoid dependencies on the inheritance order
>> between the bases, wouldn't it be more natural to have the default
>> definition of is_abelian in Category?
>
> That sounds like a good idea. (Although should the default definition
> be "NotImplemented" or "False"? I'm no
On May 19, 1:24 pm, David Harvey wrote:
> On May 19, 11:17 pm, David Harvey wrote:
> Sorry, in case (1), I should have said, there is no easy fix from
> within zn_poly itself. If Sage is not supposed to be compiling with
> unsigned long != mp_limb_t, then if you can figure out how to make i
On May 19, 11:17 pm, David Harvey wrote:
> On May 19, 1:58 pm, Ralf-Philipp Weinmann
> wrote:
>
> > zn_poly/pack.c:86:2: error: #error Not nails-safe yet
> > zn_poly/pack.c:168:2: error: #error Not nails-safe yet
> > zn_poly/pack.c:252:2: error: #error Not nails-safe yet
> > zn_poly/pack.c:351
On May 19, 1:17 pm, David Harvey wrote:
> On May 19, 1:58 pm, Ralf-Philipp Weinmann
> wrote:
>
> > zn_poly/pack.c:86:2: error: #error Not nails-safe yet
> > zn_poly/pack.c:168:2: error: #error Not nails-safe yet
> > zn_poly/pack.c:252:2: error: #error Not nails-safe yet
> > zn_poly/pack.c:351:
On May 19, 1:58 pm, Ralf-Philipp Weinmann
wrote:
> zn_poly/pack.c:86:2: error: #error Not nails-safe yet
> zn_poly/pack.c:168:2: error: #error Not nails-safe yet
> zn_poly/pack.c:252:2: error: #error Not nails-safe yet
> zn_poly/pack.c:351:2: error: #error Not nails-safe yet
> zn_poly/pack.c:43
On May 19, 12:45 pm, Kevin Horton wrote:
> On 19 May 2009, at 11:45, mabshoff wrote:
>
> > On May 19, 6:31 am, Kevin Horton wrote:
> >> As an experiment, I attempted to build sage-4.0.alpha0 on an EeePC
> >> 901
> >> Linux, with the stock Xandros OS. The build failed with:
>
> > Well, if yo
On 19 May 2009, at 11:45, mabshoff wrote:
> On May 19, 6:31 am, Kevin Horton wrote:
>> As an experiment, I attempted to build sage-4.0.alpha0 on an EeePC
>> 901
>> Linux, with the stock Xandros OS. The build failed with:
>
> Well, if you fiddle with the clock all bets are off. So for starters
> I agree that there still is a problem. Before, I didn't think that
> Sage's matplotlib would need to have different options to even be able
> to function.
The problem that I am running into is that my
~./matplotlib/matplotlibrc sets a backend (macosx) that the Sage
matplotlib doesn't have. Th
On Tue, May 19, 2009 at 3:47 AM, Serge A. Salamanka wrote:
>
> If no objection I'll post here for possible comments and guidelines.
>
> First thing that I'm trying to do is to make a distribution of SAGE that
> could be recommended for installation on worker nodes of large clusters
> in supercomp
On May 19, 7:50 am, John H Palmieri wrote:
> A category in which Hom sets form abelian groups and in which you have
> finite direct sums is an "additive category". An "abelian category"
> is one
(By "one", I mean an additive category)
> in which, loosely speaking, you have well-behaved short
On May 19, 3:58 am, Ralf-Philipp Weinmann
wrote:
> On Mar 31, 8:12 pm, Bill Hart wrote:
> Hi Bill,
>
> I just tried compiling SAGE 3.4.2 on a PS3 (Fedora Core 9). It bombs
> out during the compilation of FLINT:
>
> gcc -std=c99 -I/home/rpw/sage-3.4.2/local/include/ -I/home/rpw/
> sage-3.4.2
On May 19, 6:31 am, Kevin Horton wrote:
> As an experiment, I attempted to build sage-4.0.alpha0 on an EeePC 901
> Linux, with the stock Xandros OS. The build failed with:
> I'm not sure what other info is relevant to provide.
Look for install.log, compress it, upload it somewhere and po
On May 19, 4:54 am, "Dr. David Kirkby"
wrote:
> mabshoff wrote:
> Is there any chance of you sending me the patch? Don't bother if rc0 is
> going to be out in the next day or two.
4.0.rc0 was supposed to drop last night, but I had been up for 22
hours and did not feel like doing the rather
dagss wrote:
> Basically I can see Sage being a great place to merge symbolic
> calculations in statistics and data analysis.
Yup.
> sage: a, b = var('a,b')
> sage: sigmasq = Gamma(a, b); sigmasq
> Gamma distribution with parameters a, b
> sage: y = Normal(0, var=sigmasq); y
> Normal distributi
If anyone else is looking for directions and wants the privilege of
laziness:
http://maps.google.com/maps?f=d&source=s_d&saddr=98195&daddr=14820+NE+36th+Street&hl=en&geocode=&mra=ls&sll=47.644097,-122.132778&sspn=0.003311,0.006866&ie=UTF8&ll=47.643649,-122.229424&spn=0.10594,0.219727&t=h&z=12
--~
I thought the question was if abelian categories are required to have
finite direct sums. Categories which satisfy the requirements
of an abelian category except for the existence of direct sums are
sometimes called "pre-abelian" I think.
An example is given by abelian groups with at most N elem
On May 19, 2:25 am, "Nicolas M. Thiery"
wrote:
> Hi John,
>
>
>
>
>
> On Mon, May 18, 2009 at 09:25:56PM -0700, John H Palmieri wrote:
>
> > On May 18, 8:43 pm, wkehowski wrote:
> > > What about matrix rings over ZZ?
>
> > No, but they're not supposed to be.
>
> > > On May 18, 7:03 pm, J
As an experiment, I attempted to build sage-4.0.alpha0 on an EeePC 901
Linux, with the stock Xandros OS. The build failed with:
checking for fdatasync... yes
configure: creating ./config.status
config.status: creating Makefile
config.status: creating sqlite3.pc
make[2]: Entering directory `/ho
Has anyone been to one of these recently? I cannot go as I will be
away next week.
John
-- Forwarded message --
From: Christophe Déplacé
Date: 2009/5/19
Subject: United Kingdom Mathematica Seminars 2009 at the University of Warwick
To: j.e.crem...@warwick.ac.uk
To support th
On May 19, 2:08 am, Jason Grout
> From http://www.wolframalpha.com/termsofuse.html#waystouse
>
> "The Wolfram|Alpha service may be used only by a human
> being using a conventional web browser to manually enter
> queries one at a time..."
>
> So much for a Sage interface to Alpha...
Not necessar
On Tue, May 19, 2009 at 1:31 PM, Minh Nguyen wrote:
>
> Hi folks,
>
> Just came across the following PhD thesis by Ralf-Philipp Weinmann
> that mentions Sage:
>
> http://tuprints.ulb.tu-darmstadt.de/1362/1/rpwphd.pdf
>
> The current list of publication mentioning Sage at
>
> http://www.sagemath.o
mabshoff wrote:
>
>
> On May 17, 1:34 pm, "Dr. David Kirkby"
> wrote:
>> I'm not sure if you expected this to fail, but it compiled ok on my
>> Solaris 10 update 6 SPARC until here:
>
> Yes, it was mentioned as a problem in the 4.0.a0 release notes. I have
> a fix that will be in 4.0.rc0.
>
>
Hi folks,
Just came across the following PhD thesis by Ralf-Philipp Weinmann
that mentions Sage:
http://tuprints.ulb.tu-darmstadt.de/1362/1/rpwphd.pdf
The current list of publication mentioning Sage at
http://www.sagemath.org/library/publications.html
doesn't list the above thesis so I though
void a conflict, I will integrate this into the category patch.
>
> Now, I'd like to make sure we have the samething in mind: currently in
> my patch an AbelianCategory is a category with a direct sum operation
> on the objects.
Yes. Having (finite) direct sums is part of the definition of an
abe
On Mar 31, 8:12 pm, Bill Hart wrote:
> GMP used to build on aplaystation, though I don't know which
> versions.
>
> The eventual plan is to have MPIR not only build on aplaystation, but
> to specifically support the Cell chip.
>
> I will not have access to aplaystation3 again for about 2 months,
If no objection I'll post here for possible comments and guidelines.
First thing that I'm trying to do is to make a distribution of SAGE that
could be recommended for installation on worker nodes of large clusters
in supercomputing centers.
After BG-II project meeting it was decided to recommend
On May 18, 12:29 am, mhampton wrote:
> Here at Sage Days 15, William Stein gave a presentation on the future
> of Sage in which one of the issues was improved statistics support.
> While we include statistics functionality vis R, rpy, and scipy.stats,
> that functionality is not unified and has u
Hi John,
On Mon, May 18, 2009 at 09:25:56PM -0700, John H Palmieri wrote:
>
> On May 18, 8:43 pm, wkehowski wrote:
> > What about matrix rings over ZZ?
>
> No, but they're not supposed to be.
>
>
> > On May 18, 7:03 pm, John H Palmieri wrote:
> >
> > > On May 18, 2:44 pm, benjamin a
Thanks William. That works too. I'll keep it in mind, as an
alternative, if the same problem occurs again.
/hpon
On 19 Maj, 10:26, William Stein wrote:
> On Tue, May 19, 2009 at 12:44 AM, hpon wrote:
>
> > Hi,
>
> > I've been using commands of the following type: html("$$ %s $$" %latex
> > (
On Tue, May 19, 2009 at 12:44 AM, hpon wrote:
>
> Hi,
>
> I've been using commands of the following type: html("$$ %s $$" %latex
> (expression)), but now I want to do something different.
>
> I want to print: {some greek letter} = {a numerical value} in the most
> simple way.
>
> I've been trying
Nice! Thank you!
On 19 Maj, 10:22, Minh Nguyen wrote:
> On Tue, May 19, 2009 at 8:17 AM, hpon wrote:
>
> > Hi,
>
> > I use the online notebook. Are there short keys for evaluating the
> > current field
>
> Try Shift+Enter
>
> > and the entire worksheet?
>
> > /hpon
>
> --
> Regards
> Minh Van
On Tue, May 19, 2009 at 8:17 AM, hpon wrote:
>
> Hi,
>
> I use the online notebook. Are there short keys for evaluating the
> current field
Try Shift+Enter
> and the entire worksheet?
>
> /hpon
--
Regards
Minh Van Nguyen
--~--~-~--~~~---~--~~
To post to this
Hi,
I use the online notebook. Are there short keys for evaluating the
current field and the entire worksheet?
/hpon
--~--~-~--~~~---~--~~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-u
uhm, it works for me too now... Strange.. I don't think I've changed
anything since last time I tried.
Thanks for your reply anyway! I'll post a message if the same thing
happens again.
/hpon
On 19 Maj, 10:01, Harald Schilly wrote:
> On May 19, 9:44 am, hpon wrote:
>
> > html("$$ \sigma =
On May 19, 9:44 am, hpon wrote:
> html("$$ \sigma = %s $$" %latex(value))
uhm, it might not help you, but for value=3.124 it works for me...
> What do you suggest?
system, platform, browser and sage version number please ;)
h
--~--~-~--~~~---~--~~
To post to
Hi,
I've been using commands of the following type: html("$$ %s $$" %latex
(expression)), but now I want to do something different.
I want to print: {some greek letter} = {a numerical value} in the most
simple way.
I've been trying things like html("$$ \sigma = %s $$" %latex(value)),
but this
45 matches
Mail list logo
