var('x,y')
assume([x 0, y 0, x 2*y])
bool(x y)
= False
I'm not familiar with the limitations of symbolic computation,
but the design is in my opinion completely broken,
or to say it more polite, unfortunate. This is an invitation for tons of
bugs...
(returning 'False' in case the
Kroeker wrote:
Hello,
when working with an attached file it seems that saving it (at least with
gedit on our file system)
sometimes causes a temporarily disappearance on that file. I have no
idea, if this is caused by the
used file system (mounted NFS) , but sometimes I get from sage
It seems there is an issue either in the Singular interface or in Singular:
sage: K0=GF(11)
sage: #K0=QQ
sage: R0.b=K0[]
sage: K.b=K0.extension(b^5+4)
sage: R1.zzz=K[]
sage: L=FractionField(R1)
sage: R.x=L[]
sage: f=x^4+1/(b*zzz)
sage: f._singular_() # where is the fraction 1/(b*zzz) ?
x^4
and move the discussion to the ticket
Am Mittwoch, 3. Dezember 2014 17:54:19 UTC+1 schrieb Nils Bruin:
On Wednesday, December 3, 2014 3:07:14 AM UTC-8, Jakob Kroeker wrote:
...
sage: f=x^4+1/(b*zzz)
sage: f._singular_() # where is the fraction 1/(b*zzz) ?
x^4
...
see also
Other opinions? If everybody agrees, I will open a ticket.
Please do! Thanks!
here is the corresponding ticket:
http://trac.sagemath.org/ticket/17412
--
You received this message because you are subscribed to the Google Groups
sage-support group.
To unsubscribe from this group and
So you can assume that an empty list means only that sage's algorithms
find no solution.
I just looked at the documentation of solve and could not find an explicit
statement about missed solutions.
Even if it is expectable that in some cases (which?) solve may not return
all solutions,
Hello,
when working with an attached file it seems that saving it (at least with
gedit on our file system)
sometimes causes a temporarily disappearance on that file. I have no idea,
if this is caused by the
used file system (mounted NFS) , but sometimes I get from sage ( at least
for
kcrisman:
It is similar to how our Booleans on expression comparisons return False
if we can't prove True
Could the usage of a sort of Tristate/multistate implementation kill that
universe of worms?
(With the following design: Tristate only comparable to Tristate objects)
Jakob
Am
Hello,
we experience that after evaluating an infinite loop (with or without
truncated output)
the notebook stops working correctly. Example:
first evaluate block:
i = 100
while i1:
print 5
or
i = 100
while i1:
pass
second evaluate block
i = 5
print i
# i is not printed
Is
schrieb William:
On Fri, Oct 31, 2014 at 6:36 AM, Jakob Kroeker kro...@uni-math.gwdg.de
javascript: wrote:
Hello,
we experience that after evaluating an infinite loop (with or without
truncated output)
the notebook stops working correctly. Example:
It's impossible to ever
Hello,
recently, when trying to start (at least recent version 6.3) 'sage', it
constantly got 'Killed'
on my SL 6.5 system at work. Luckily, I succeeded using the '--nodotsage'
option.
Environment: I have several different local 'sage' installations.
Q1: Why does 'sage' crash without the
, in create_db
from src import conway_polynomials
File
/home/kroeker/Projects/sage-work/local/var/tmp/sage/build/conway_polynomials-0.4.p0/src/__init__.py,
line 1, in module
from table import *
MemoryError
I did a distclean before retrying with the same result.
Any idea what to look
upstream report link:
http://www.singular.uni-kl.de:8002/trac/ticket/550
Remark: minimal_associated_primes() and almost all routines based on
decomposition routines from Singular's 'primdec.lib'
are affected, too.
Try
R.x,y = QQ[]
I = Ideal( R(1) )
I.minimal_associated_primes()
Am Montag,
This is probably a late comment,
but genus() in Singular is also known for containing bugs,
see tickets
http://www.singular.uni-kl.de:8002/trac/ticket/259,
http://www.singular.uni-kl.de:8002/trac/ticket/469
Jack
Am Dienstag, 23. November 2010 11:56:20 UTC+1 schrieb Martin Albrecht:
On
Hello,
I'm a bit confused about Sage's answer if Ideal(1) is prime.
R.x,y= QQ[]
I = Ideal(R(1))
I.is_prime()
Sage (5.11, not only) says yes,
conflicting to the definition, http://en.wikipedia.org/wiki/Prime_ideal
Has somebody an expanation of this behaviour?
Jack
--
You received this
Ok, I will do the upstream-report (Singular trac at
http://www.singular.uni-kl.de:8002/trac/newticket)
John Cremona: [...] which I'm sure has been reported before.
I could not find a corresponding ticket in sage trac and cannot
currently login. Could someone open a that ticket in sage-trac
16 matches
Mail list logo
