Hello folks,
with malb's libSingular fix we are down from 120+ segfaults to about
100 doctest failures, none of them segfaults. While that does not look
like much of an improvement nearly all of those errors are caused by
the following few issues:
* notebook: /dev/random's entropy too low? -> h
Is there a Sage package for LB method modeling?
-- Owen
--~--~-~--~~~---~--~~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.g
On Jun 3, 2008, at 7:11 PM, David Harvey wrote:
> On Jun 3, 2008, at 10:04 PM, Robert Bradshaw wrote:
>
>>> How does it related to the
>>> concept of "parent" - which seems equally ill-defined to me?
>>
>> A Parent is an Object in the category of Sets,
>
> huh? Don't you mean to say something mor
On Jun 3, 2008, at 10:04 PM, Robert Bradshaw wrote:
>> How does it related to the
>> concept of "parent" - which seems equally ill-defined to me?
>
> A Parent is an Object in the category of Sets,
huh? Don't you mean to say something more like "a parent is an object
of a concrete category", i
On Jun 3, 2008, at 4:50 PM, Bill Page wrote:
>
> On Tue, Jun 3, 2008 at 5:48 PM, William Stein wrote:
>>
>> On Tue, Jun 3, 2008 at 2:45 PM, Bill Page wrote:
>>>
>>> On Tue, Jun 3, 2008 at 4:48 PM, Robert Bradshaw wrote:
On Jun 3, 2008, at 11:17 AM, Gary Furnish wrote:
...
> I c
I meant in comparison to its commercial competitors, like Autodesk's
3d studio max, which are roughly 2GB (I'm not sure exactly). The
binary is much smaller than those programs. As a component of Sage,
it would be big, so its probably destined to be an optional spkg at
most. But I think its ver
On Tue, Jun 3, 2008 at 7:21 PM, Robert Bradshaw
<[EMAIL PROTECTED]> wrote:
>
> On Jun 3, 2008, at 4:36 PM, Gary Furnish wrote:
>>>
>>> That depends on what they are being used for, but categories lend
>>> themselves very naturally to multiple inheritance because of what
>>> they are mathematically
On Jun 3, 2008, at 4:36 PM, Gary Furnish wrote:
>>
>> That depends on what they are being used for, but categories lend
>> themselves very naturally to multiple inheritance because of what
>> they are mathematically. I understand wanting, .e.g., arithmetic to
>> be super fast, but I don't see the
On Tue, Jun 3, 2008 at 4:28 PM, Marshall Hampton <[EMAIL PROTECTED]> wrote:
>
> I have a small grant this summer to work on 3D visualization of
> geometric-algebraic objects (e.g. Groebner fans), and I have decided
> to learn the basics of Blender. Its amazingly small and very python
> friendly,
Its funny you ask - I'm something of a book addict, so my first
thought was to buy some books on blender. But (as with Sage!) there
really is plenty of documentation and tutorials on the web. You just
have to wade in and start doing them, and it takes time. I'm not sure
there is a whole lot out
On Jun 4, 12:39 am, Robert Bradshaw <[EMAIL PROTECTED]>
wrote:
Hi,
> > If coercion was implemented with 100% pure Cython code (with an eye
> > for speed where it is needed),
>
> The critical path for doing arithmetic between elements is 100% pure
> Cython code. The path for discovering coe
On Tue, Jun 3, 2008 at 5:48 PM, William Stein wrote:
>
> On Tue, Jun 3, 2008 at 2:45 PM, Bill Page wrote:
>>
>> On Tue, Jun 3, 2008 at 4:48 PM, Robert Bradshaw wrote:
>>>
>>> On Jun 3, 2008, at 11:17 AM, Gary Furnish wrote:
>>> ...
I consider homsets to be a gigantic flaw in coercion that
>>>
On Tue, Jun 3, 2008 at 4:39 PM, Robert Bradshaw
<[EMAIL PROTECTED]> wrote:
>
> On Jun 3, 2008, at 3:08 PM, Gary Furnish wrote:
>
>>
>> On Tue, Jun 3, 2008 at 2:48 PM, Robert Bradshaw
>> <[EMAIL PROTECTED]> wrote:
>>>
>>> When a new morphism is created it needs a parent, which is a Homset
>>> that
I would like to learn a bit about Blender too. If you have a book you'd
recommend, please let me know.
On Tue, Jun 3, 2008 at 7:28 PM, Marshall Hampton <[EMAIL PROTECTED]> wrote:
>
> I have a small grant this summer to work on 3D visualization of
> geometric-algebraic objects (e.g. Groebner fans)
I have a small grant this summer to work on 3D visualization of
geometric-algebraic objects (e.g. Groebner fans), and I have decided
to learn the basics of Blender. Its amazingly small and very python
friendly, so hopefully I can get some experience interfacing with it
with Sage.
-M. Hampton
On
>> One may be able to eek out a bit more performance by doing this, but
>> it's not as if performance is awful in the current model.
>>
> For the things you do. There is no code that pushes the coercion
> system anywhere near as much as symbolics in Sage does.
Please explain why the symbolics co
On Jun 3, 2008, at 3:08 PM, Gary Furnish wrote:
>
> On Tue, Jun 3, 2008 at 2:48 PM, Robert Bradshaw
> <[EMAIL PROTECTED]> wrote:
>>
>> When a new morphism is created it needs a parent, which is a Homset
>> that may be looked up/created at that time. This is probably what you
>> are talking about.
On Tue, Jun 3, 2008 at 2:48 PM, Robert Bradshaw
<[EMAIL PROTECTED]> wrote:
>
> On Jun 3, 2008, at 11:17 AM, Gary Furnish wrote:
>
>> On Tue, Jun 3, 2008 at 12:11 PM, Robert Bradshaw
>> <[EMAIL PROTECTED]> wrote:
>>>
>>> On Jun 3, 2008, at 11:06 AM, Gary Furnish wrote:
>>>
I think we had a dis
On Tue, Jun 3, 2008 at 2:45 PM, Bill Page <[EMAIL PROTECTED]> wrote:
>
> On Tue, Jun 3, 2008 at 4:48 PM, Robert Bradshaw wrote:
>>
>> On Jun 3, 2008, at 11:17 AM, Gary Furnish wrote:
>> ...
>>> I consider homsets to be a gigantic flaw in coercion that
>>> absolutely have to be fixed for me to cons
On Tue, Jun 3, 2008 at 4:48 PM, Robert Bradshaw wrote:
>
> On Jun 3, 2008, at 11:17 AM, Gary Furnish wrote:
> ...
>> I consider homsets to be a gigantic flaw in coercion that
>> absolutely have to be fixed for me to consider using more
>> of the coercion system in symbolics.
>
> Ironically, other
>I'm not sure how allowing partial coercions would help the situation.
>The problems are (1) given a and b in different rings, how to quickly
>find a' and b' so that a' + b' makes sense and dispatch to that
>operation and (2) whether or not sqrt(2) should start out as a SR
>object, or some
On Jun 3, 2008, at 12:22 PM, Henryk Trappmann wrote:
> On 31 Mai, 15:59, "William Stein" <[EMAIL PROTECTED]> wrote:
>> At a bare minimum there is never a canonical (automatic)
>> coercion from elements of R to elements of S unless that coercion
>> is defined (as a homomorphism) on all of R.
>
> I
On Jun 3, 2008, at 11:17 AM, Gary Furnish wrote:
> On Tue, Jun 3, 2008 at 12:11 PM, Robert Bradshaw
> <[EMAIL PROTECTED]> wrote:
>>
>> On Jun 3, 2008, at 11:06 AM, Gary Furnish wrote:
>>
>>> I think we had a discussion on irc about how homsets still got used
>>> for determining the result of some
I just checked out PiScript, and I think it would be a powerful
backend for this kind of, and many other, functionality. I created an
example picture with PiScript that one can find at
http://folk.uio.no/georgmu/Superformula.eps and
http://folk.uio.no/georgmu/Superformula.py
. Of course as Marsha
On 31 Mai, 15:59, "William Stein" <[EMAIL PROTECTED]> wrote:
> At a bare minimum there is never a canonical (automatic)
> coercion from elements of R to elements of S unless that coercion
> is defined (as a homomorphism) on all of R.
I dont want to be heretical by why is it so important that coer
On Tue, Jun 3, 2008 at 12:11 PM, Robert Bradshaw
<[EMAIL PROTECTED]> wrote:
>
> On Jun 3, 2008, at 11:06 AM, Gary Furnish wrote:
>
>> I think we had a discussion on irc about how homsets still got used
>> for determining the result of something in parent1 op something in
>> parent2 (maybe it was w
On Jun 3, 2008, at 11:06 AM, Gary Furnish wrote:
> I think we had a discussion on irc about how homsets still got used
> for determining the result of something in parent1 op something in
> parent2 (maybe it was with someone else?)
I sure hope not. If so, that needs to change (but I'm pretty sur
When I personally use Mathematica etc, I often don't expand
expressions x^20+20*x^19+. doesn't tell me much about where an
expression comes from. (x+5)^20 tells me a bunch. Expanding
expressions generally causes information loss for many calculus and
physics problems and going overboard
I think we had a discussion on irc about how homsets still got used
for determining the result of something in parent1 op something in
parent2 (maybe it was with someone else?) I'm also -1 for hard-coding
knowledge and logic about ZZ,QQ, etc into the coercion model. I am +1
for hardcoding it int
Fyi, a bug report
severity: unimportant
Not sure if this is a jsmath bug or a firefox bug...
I'm using Linux and remapped caps_lock to be modeshift, and modeshift
+k to be the down arrow. When autocompleting, hitting modeshift will
cancel the autocomplete box, when in fact I just want to hit mod
On Jun 3, 2008, at 7:13 AM, Gary Furnish wrote:
>>> As long as there are classes in pure python that use MI on the
>>> critical path that symbolics has to use, the argument that coercion
>>> was written to be fast makes no sense to me.
>>
>> Not sure what you mean by "MI" here, could you explain.
Malb rocks:
[18:30] mabshoff|afk : actually in structs.h of Singular there
is this logic:
[18:31] #elif defined(SunOS_5)
[18:31]// #define HAVE_GENERIC_ADD
[18:31]#define HAVE_MULT_MOD
[18:31]#ifdef HAVE_MULT_MOD
[18:31]#define HAVE_DIV_MOD
[18:31]#endif
[18:34] wstein, mal
William Stein wrote:
> On Tue, Jun 3, 2008 at 6:42 AM, mhampton <[EMAIL PROTECTED]> wrote:
>> I think it looks pretty neat. It is surprisingly hard to get decent
>> vector field plots for many differential equation examples. I will
>> try to give it a try if I have time.
>>
>> -M. Hampton
>
> Fr
On Tue, Jun 3, 2008 at 3:09 AM, Gary Furnish <[EMAIL PROTECTED]> wrote:
> Your going to have a hard time convincing me that the default behavior
> in Mathematica and Maple is wrong. This makes sense for number theory
> but not for people using calculus.
Hmm, I must say from using maple on expr
> As you can see the function pointers are off by one ... now the fun part
> begins ... why? nNULL seems correct btw.
To document the most recent results:
[16:54] #ifdef HAVE_DIV_MOD
[16:54] CARDINAL *npInvTable;
[16:54] #endif
[16:54] #if !defined(HAVE_DIV_MOD) || !defined(HAVE_
Apparently this bug is well-known; I got the fix from some kind folks
at
http://groups.google.com/group/sage-support/browse_thread/thread/a2adf91fd234a548
, for anyone else who is interested.
Best wishes,
Mats
On Jun 3, 8:24 am, Mats <[EMAIL PROTECTED]> wrote:
> Hello,
>
> Fyi, it seems that th
On Sunday 01 June 2008, mabshoff wrote:
> sage: P.=QQ[]
> sage: 1/x
More debugging data:
-bash-3.00$ ./sage -gdb
--
| SAGE Version 3.0.1, Release Date: 2008-05-04 |
| Type notebook() for the GUI, and licens
On Tue, Jun 3, 2008 at 6:42 AM, mhampton <[EMAIL PROTECTED]> wrote:
>
> I think it looks pretty neat. It is surprisingly hard to get decent
> vector field plots for many differential equation examples. I will
> try to give it a try if I have time.
>
> -M. Hampton
>From Bill Casselman, author of
On Tue, Jun 3, 2008 at 7:13 AM, Gary Furnish <[EMAIL PROTECTED]> wrote:
> The average calculus student coming from maple is not going to
> understand why he can't perform a sum of the sqrt of some primes. If
> we are to be a viable alternative for non-research mathematicians we
> can't run off an
On Tue, Jun 3, 2008 at 2:34 AM, Robert Bradshaw
<[EMAIL PROTECTED]> wrote:
>
> On Jun 3, 2008, at 12:09 AM, Gary Furnish wrote:
>
>>
>> On Mon, Jun 2, 2008 at 11:41 PM, Robert Bradshaw
>> <[EMAIL PROTECTED]> wrote:
>>>
>>> On Jun 2, 2008, at 12:55 PM, William Stein wrote:
>>>
On Mon, Jun 2, 2
On 6/3/08, Jaime Villate <[EMAIL PROTECTED]> wrote:
> so we can continue to develop Maxima as his original author intended
> to?
I will point out that current developers are on much firmer ground if they
consider what Bill Schelter did, as opposed to what he was thinking.
FWIW
Robert Dodie
I think it looks pretty neat. It is surprisingly hard to get decent
vector field plots for many differential equation examples. I will
try to give it a try if I have time.
-M. Hampton
On Jun 3, 7:19 am, Jaap Spies <[EMAIL PROTECTED]> wrote:
> Georg Muntingh wrote:
> > I haven't tried it before,
Georg Muntingh wrote:
> I haven't tried it before, but I sneaked a peek and tried to extract
> the most important information from the website.
>
> * The program seems to take a discretized vector field as input, and
> creates images from these.
> * Its functionality seems to be
> - to plot pre
Hello,
Fyi, it seems that the example from "sage: notebook?" for running your
own sage server does not seem to be working.
Any insight would be appreciated.
Usability suggestions: May I humbly suggest that the use case of "I
want to run a sage notebook (perhaps remotely)" be given higher
visibi
I haven't tried it before, but I sneaked a peek and tried to extract
the most important information from the website.
* The program seems to take a discretized vector field as input, and
creates images from these.
* Its functionality seems to be
- to plot pretty arrows that have a width, size a
>Maple does
>
> > 1/(1+I);
> 1/2 - 1/2 I
Axiom does
1/(1+%i)
1
--
1 + %i
which is of type Fraction Complex Integer, that is a fraction
whose numerator and denominator are of type Complex(Integer).
You can ask Axiom to place the result i
> sage: m = matrix(ZZ,2,[1,2,3,4])
> sage: d = m.det(); d
> -2
> sage: d.__init__(389)
> sage: m
> [1 2]
> [3 4]
> sage: m.det()
> 389
This problem would not occur if m.det() were to return a copy
of the cached determinant of m.
Michel
--~--~-~--~~~---~--~~
On Jun 3, 2008, at 1:37 AM, John Cremona wrote:
> MI = Multiple Inheritance?
That's the only thing I can think of, but there isn't any of that in
the coercion model...
- Robert
--~--~-~--~~~---~--~~
To post to this group, send email to sage-devel@googlegroups
MI = Multiple Inheritance?
2008/6/3 Robert Bradshaw <[EMAIL PROTECTED]>:
>
> On Jun 3, 2008, at 12:09 AM, Gary Furnish wrote:
>
>>
>> On Mon, Jun 2, 2008 at 11:41 PM, Robert Bradshaw
>> <[EMAIL PROTECTED]> wrote:
>>>
>>> On Jun 2, 2008, at 12:55 PM, William Stein wrote:
>>>
On Mon, Jun 2, 20
On Jun 3, 2008, at 12:09 AM, Gary Furnish wrote:
>
> On Mon, Jun 2, 2008 at 11:41 PM, Robert Bradshaw
> <[EMAIL PROTECTED]> wrote:
>>
>> On Jun 2, 2008, at 12:55 PM, William Stein wrote:
>>
>>> On Mon, Jun 2, 2008 at 12:53 PM, Gary Furnish
>>> <[EMAIL PROTECTED]> wrote:
-1. First, every
On Mon, Jun 2, 2008 at 11:41 PM, Robert Bradshaw
<[EMAIL PROTECTED]> wrote:
>
> On Jun 2, 2008, at 12:55 PM, William Stein wrote:
>
>> On Mon, Jun 2, 2008 at 12:53 PM, Gary Furnish
>> <[EMAIL PROTECTED]> wrote:
>>>
>>> -1. First, everything cwitty said is correct.
>
> More on this below.
>
>>> Sec
51 matches
Mail list logo
