[sage-support] ISSAC 2011

2011-05-11 Thread Alex Raichev
Hi Sagers: I'm not sure this is the right forum to ask this question, but hey, here goes. Anybody going to ISSAC 2011 (http://www.issac-conference.org/2011/) next month? The reason i ask is this. I got accepted to present my Sage program for calculating asymptotics of multivariate generating fun

[sage-support] Re: Qhull package installation fail

2011-04-06 Thread Alex Raichev
Hi Doug: Qhull installs no problem on my Mac desktop. So maybe it is some gcc weirdness that prevents me from installing it on my laptop. I'll try your suggested code on my laptop tonight. Now that i have Qhull, um, how do i use it within Sage? Can somebody point me to the documentation? I po

[sage-support] Qhull package installation fail

2011-04-05 Thread Alex Raichev
fully? Thanks. Alex raichev@wujarch-l~> sage -i qhull Detected SAGE64 flag Building Sage on OS X in 64-bit mode Installing qhull Calling sage-spkg on qhull Warning: Attempted to overwrite SAGE_ROOT environment variable Building Sage on OS X in 64-bit mode Creating SAGE_LOCAL/lib/sage-64.txt since

[sage-support] factor() behaving badly

2010-12-19 Thread Alex Raichev
Hi all: I get differently formatted answers using factor() multiple times on the same polynomial. I wouldn't call it a bug, but it sure is annoying when doctesting. Alex -- | Sage Version 4.6, Release Date: 2010-10-30

[sage-support] matrix bug

2010-12-07 Thread Alex Raichev
Hi all: I found a bug related to matrices over polynomial rings. Alex -- | Sage Version 4.6, Release Date: 2010-10-30 | | Type notebook() for the GUI, and license() for information.|

[sage-support] simplify_full() bug?

2010-12-01 Thread Alex Raichev
Hi all: I think i found a bug with simplify_full(). Alex -- | Sage Version 4.6, Release Date: 2010-10-30 | | Type notebook() for the GUI, and license() for information.| --

[sage-support] bug in solving linear systems

2010-09-20 Thread Alex Raichev
Hi all: This looks like a bug in Sage 4.5.3 regarding solving linear systems. Alex -- | Sage Version 4.5.3, Release Date: 2010-09-04 | | Type notebook() for the GUI, and license() for information.|

[sage-support] Re: SR + QQbar bug?

2010-04-08 Thread Alex Raichev
P.P.S. And thanks to everybody developing Sage :-) On Apr 9, 2:55 pm, Alex Raichev wrote: > P.S.  Burcin, thanks for all your work on Sage symbolics.  I > appreciate it. > > On Apr 8, 11:44 pm, Burcin Erocal wrote: > > > Hi again Alex, > > > Many thanks for the re

[sage-support] Re: SR + QQbar bug?

2010-04-08 Thread Alex Raichev
P.S. Burcin, thanks for all your work on Sage symbolics. I appreciate it. On Apr 8, 11:44 pm, Burcin Erocal wrote: > Hi again Alex, > > Many thanks for the report. > > On Wed, 7 Apr 2010 16:05:09 -0700 (PDT) > > Alex Raichev wrote: > > Hi all: > > > I

[sage-support] Re: SR + QQbar bug?

2010-04-08 Thread Alex Raichev
pm, Burcin Erocal wrote: > Hi again Alex, > > Many thanks for the report. > > On Wed, 7 Apr 2010 16:05:09 -0700 (PDT) > > Alex Raichev wrote: > > Hi all: > > > I ran into an error trying to evaluate the exponential function at an > > algebraic number.

[sage-support] SR bug?

2010-04-07 Thread Alex Raichev
What the? -- | Sage Version 4.3.5, Release Date: 2010-03-28 | | Type notebook() for the GUI, and license() for information.| -- sage

[sage-support] SR + QQbar bug?

2010-04-07 Thread Alex Raichev
Hi all: I ran into an error trying to evaluate the exponential function at an algebraic number. Looks like there's a bug in substituting algebraic numbers for variables; see below. While i was at it, i tried creating the expression QQbar(sqrt(2))*x and got a not implemented error. Wasn't symboli

[sage-support] Re: bug in Sage's interface to Singular?

2010-03-10 Thread Alex Raichev
on2.6/site-packages/sage/libs/ singular/function.so in sage.libs.singular.function.SingularFunction.__call__ (sage/libs/ singular/function.cpp:9628)() TypeError: Cannot call Singular function 'radical' with ring parameter of type '' On Jan 15, 2:58 pm, Alex Raichev wrote: > Hi all: > > I'm tryin

[sage-support] bug in numerical approximation?

2010-01-24 Thread Alex Raichev
Hi all: Am i doing something wrong, or does the example below demonstrate a bug in Sage's n() function? Alex -- | Sage Version 4.3, Release Date: 2009-12-24 | | Type notebook() for the GUI, and license()

[sage-support] bug in Sage's interface to Singular?

2010-01-14 Thread Alex Raichev
Hi all: I'm trying to get Sage to compute in a multivariate polynomial ring over a transcendental field extension but am running into difficulties. For example, Sage crashes when trying to compute a radical ideal as demonstrated by the example below. I tried the same example in Singular, which g

[sage-support] Re: bug: derivatives as dictionary keys

2009-11-22 Thread Alex Raichev
Sweet, Burcin. I'll check out your patch. Can you increase the derivative orders to 20 something? Alex On Nov 23, 7:30 am, Burcin Erocal wrote: > Hi, > > On Sat, 21 Nov 2009 14:02:16 +0100 > > Burcin Erocal wrote: > > I can't believe I'm looking at these hashes for the third time. I > > final

[sage-support] Re: bug: derivatives as dictionary keys

2009-11-20 Thread Alex Raichev
anks again. Alex On Nov 20, 7:17 pm, William Stein wrote: > On Thu, Nov 19, 2009 at 7:45 PM, Alex Raichev wrote: > > Thanks for the workaround, William.  I was thinking the same thing as > > a temporary fix but am having difficulties with that approach. > > > Here's my

[sage-support] Re: bug: derivatives as dictionary keys

2009-11-19 Thread Alex Raichev
ein wrote: > On Thu, Nov 19, 2009 at 6:08 PM, Alex Raichev wrote: > > Hi all: > > > Related tohttp://trac.sagemath.org/sage_trac/ticket/6243, it appears > > that using derivatives of callable symbolic functions as dictionary > > keys is broken in Sage 4.2.1.  See belo

[sage-support] bug: derivatives as dictionary keys

2009-11-19 Thread Alex Raichev
Hi all: Related to http://trac.sagemath.org/sage_trac/ticket/6243, it appears that using derivatives of callable symbolic functions as dictionary keys is broken in Sage 4.2.1. See below. It works for functions of one and two variables but not three. Alex ---

[sage-support] another bug in solve()?

2009-11-04 Thread Alex Raichev
Hi all: I found some strange behavior in solve that's related to function composition. Check out this short example. -- | Sage Version 4.2, Release Date: 2009-10-24 | | Type notebook() for the GUI, and l

[sage-support] Re: implicit differentiation difficulties

2009-10-20 Thread Alex Raichev
ff('%s(%s), %s)"%(f.name(), IndexError: tuple index out of range On Oct 21, 12:37 am, David Joyner wrote: > You might want to search the sage devel archives for an email from John Perry > called "implicit_

[sage-support] implicit differentiation difficulties

2009-10-19 Thread Alex Raichev
Hi all: I'm trying to differentiate implicitly and solve for the derivative but get an error. Does anyone know what's wrong? Alex -- | Sage Version 4.1.2, Release Date: 2009-10-13 | | Type notebook() for

[sage-support] Re: derivative bug in Sage 4.0 symbolics?

2009-08-30 Thread Alex Raichev
Hi all: Thanks to those who worked on closing ticket 6243 regarding derivatives as dictionary keys. It appears that there are still some bugs, though (see below). Alex -- | Sage Version 4.1.1, Release Date: 2009-08-14

[sage-support] Sage 4.1.1 bug: derivatives as dictionary keys

2009-08-30 Thread Alex Raichev
Hi all: Pardon my re-post of this message. I forgot to update the subject line. Thanks to those who worked on closing ticket 6243 regarding derivatives as dictionary keys for the release of Sage 4.1.1. It appears that there's still a bug, though (see below). Alex

[sage-support] Re: derivative bug in Sage 4.0 symbolics?

2009-07-14 Thread Alex Raichev
0700 (PDT) > > > > Alex Raichev wrote: > > > Hi all: > > > Upon upgrading to Sage 4.0, i can no longer make a dictionary with > > derivatives as keys (see below).  Can someone please fix this? > > -

[sage-support] derivative bug in Sage 4.0 symbolics?

2009-06-07 Thread Alex Raichev
Hi all: Upon upgrading to Sage 4.0, i can no longer make a dictionary with derivatives as keys (see below). Can someone please fix this? Alex -- | Sage Version 4.0, Release Date: 2009-05-29 | | Type not

[sage-support] Re: bug in solve()?

2009-05-06 Thread Alex Raichev
ble' object has no attribute 'left' sage: solve([x==0,x==x],x) [[x == 0]] sage: solve([x==0,x==x],x,solution_dict=True) [{x: 0}] # Interesting On May 7, 1:34 pm, Alex Raichev wrote: > Hi all: > > Is this a bug in solve()? > > Alex > > ---

[sage-support] bug in solve()?

2009-05-06 Thread Alex Raichev
Hi all: Is this a bug in solve()? Alex -- | Sage Version 3.4.1, Release Date: 2009-04-21 | | Type notebook() for the GUI, and license() for information.| ---

[sage-support] callable symbolic function name to string

2009-04-28 Thread Alex Raichev
Hi all: How do you retrieve the name of a callable symbolic function as a string? For instance, suppose you have sage: f= function('hello',x) and you want to retrieve 'hello' from f. sage: str(f) '\n hello(x)' followed by stripping away the extra characters

[sage-support] bug is subs_expr() ?

2009-04-26 Thread Alex Raichev
Hi all: It looks like there's a tiny bug in subs_expr(): it hangs when given the empty dictionary. Alex -- | Sage Version 3.4, Release Date: 2009-03-11 | | Type notebook() for the GUI, and license() for

[sage-support] Re: derivative of a composition

2009-04-23 Thread Alex Raichev
Thanks for the news, William. I will hold off on this chain rule business till the new symbolics arrive. Alex On Apr 24, 3:43 pm, William Stein wrote: > On Thu, Apr 23, 2009 at 7:18 PM, Alex Raichev wrote: > > > Hmm, implementing the chain rule is trickier than i

[sage-support] Re: derivative of a composition

2009-04-23 Thread Alex Raichev
. Problems: (a) How do you split apart a symbolic expression to scan for compositions? (b) How do you construct Df so that you can compose it with g? Both thwart me and my white belt Sage-fu. Any helpful suggestions for (a), (b), or the general project? Alex On Apr 23, 1:43 pm, Alex Raichev

[sage-support] Re: derivative of a composition

2009-04-22 Thread Alex Raichev
Woops, that ain't right: 'write'. On Apr 23, 1:43 pm, Alex Raichev wrote: > Never mind.  I'll just right a short recursive function.  It's easy > enough. > > Alex > > On Apr 23, 11:10 am, Alex Raichev wrote: > > > Hi all: > > >

[sage-support] Re: derivative of a composition

2009-04-22 Thread Alex Raichev
Never mind. I'll just right a short recursive function. It's easy enough. Alex On Apr 23, 11:10 am, Alex Raichev wrote: > Hi all: > > Do any of you know how to get Sage to use the chain rule and expand > the derivative of a composition involving one or two callabl

[sage-support] derivative of a composition

2009-04-22 Thread Alex Raichev
Hi all: Do any of you know how to get Sage to use the chain rule and expand the derivative of a composition involving one or two callable symbolic functions? Here's an example with one callable symbolic function. -- | Sage Vers

[sage-support] hg_sage.pull() fails in notebook

2009-04-14 Thread Alex Raichev
Hi all: I want to sync my version of Sage 3.4 with the latest change sets. So in a notebook worksheet i typed hg_sage.pull() and got the error cd "/Applications/sage/devel/sage" && hg status cd "/Applications/sage/devel/sage" && hg status cd "/Applications/sage/devel/sage" && hg pull -u http

[sage-support] Re: Pynac bug

2009-03-25 Thread Alex Raichev
I suppose the same issue applies to other common functions, such as the sine function. Alex -- | Sage Version 3.4, Release Date: 2009-03-11 | | Type notebook() for the GUI, and license() for information.

[sage-support] Re: Dealing with algebraic elements and rational functions

2009-03-22 Thread Alex Raichev
Hey Mike and Luis: > > (5) Factorize polynomials in Q[x,y,z,t,a] extracted from > > numerators/denominatos of rational functions. > > We can do this via Maxima.  First we convert f to Maxima and call the > factor command passing in the defining polynomial for the number > field.  Then we extract

[sage-support] Pynac bug

2009-03-19 Thread Alex Raichev
Here's another one for you, Burcin... Alex sage: var('n',ns=1) n sage: (QQbar(2)^3)^n --- TypeError Traceback (most recent call last) /Users/arai021/ in () /Applications/sage/local/lib/pytho

[sage-support] bug in pynac collect_common_factors() leads to segmentation fault

2009-03-17 Thread Alex Raichev
It seems my math projects keep breaking things... Alex -- | Sage Version 3.4, Release Date: 2009-03-11 | | Type notebook() for the GUI, and license() for information.|

[sage-support] jacobian() fails with Pynac symbolics

2009-03-16 Thread Alex Raichev
-- | Sage Version 3.4, Release Date: 2009-03-11 | | Type notebook() for the GUI, and license() for information.| -- sage: var('x,y

[sage-support] Re: coercion bug?

2009-03-16 Thread Alex Raichev
Sweet! Alex On Mar 12, 5:07 pm, William Stein wrote: > On Wed, Mar 11, 2009 at 5:23 PM, Alex Raichev wrote: > > >> What would you want to do with QQbar in the Symbolic Ring? > > > Everything: differentiate functions with coefficients in QQbar, > > integrate them

[sage-support] Re: coercion bug?

2009-03-11 Thread Alex Raichev
> What would you want to do with QQbar in the Symbolic Ring? Everything: differentiate functions with coefficients in QQbar, integrate them, etc. I too don't know anything about Maxima or the new symbolics package in preparation --Pynac is it? So, i'm just standing on the sidelines cheering

[sage-support] Re: coercion bug?

2009-03-11 Thread Alex Raichev
-packages/sage/ structure/coerce.so in sage.structure.coerce.CoercionModel_cache_maps.bin_op (sage/structure/ coerce.c:5847)() TypeError: unsupported operand parent(s) for '*': 'Algebraic Field' and 'Symbolic Ring' On Mar 11, 5:01 pm, Robert Bradshaw wrote: > On Mar 10, 2009, at 8:57

[sage-support] coercion bug?

2009-03-10 Thread Alex Raichev
Does anyone know what's up with this weird error? Sage can multiply a symbolic variable and a constant of a polynomial ring R but not a symbolic variable and an element of R.base_ring(). Alex sage: var('t') t sage: K.= NumberField(t^2+2,'a') sage: R.= PolynomialRing(K) sage: t*R(a) a*t sage: t*

[sage-support] Another variety() bug?

2009-03-03 Thread Alex Raichev
Maybe i'm beating a dead horse here, but i think the variety() command has another bug in it (different from http://trac.sagemath.org/sage_trac/ticket/4622 ). It crashes when working over number fields with the optional command 'ring=QQbar', possibly because it doesn't first embed the number fie

[sage-support] Re: ideals of points

2009-02-26 Thread Alex Raichev
ust referenced, I end up with a > ring, AC, in which the solutions are supposed to be stored in 'SOL'. > I can execute singular.setring(AC), but cannot subsequently access the > solutions. > > Thanks, > Dave > > On Feb 25, 1:49 pm, Alex Raichev wrote: > > &g

[sage-support] Re: ideals of points

2009-02-25 Thread Alex Raichev
Hi Dave: Once you have your zero-dimensional ideal K within a Sage ring, you could try the variety() command K.variety(ring=QQbar) or K.variety(ring=CC) to get its solutions as algebraic numbers or complex floating point numbers, respectively. See 'variety()' under http://www.sagemath.org/doc

[sage-support] Re: polynomial coercion bug?

2009-02-24 Thread Alex Raichev
Thanks for your clarification and help, Carl. Alex On Feb 24, 5:15 pm, Carl Witty wrote: > On Feb 23, 7:57 pm, Carl Witty wrote: > > > On Feb 23, 6:54 pm, Alex Raichev wrote: > > > > Carl, regarding the parenthetical remark of your first reply, are you > > &

[sage-support] Re: polynomial coercion bug?

2009-02-23 Thread Alex Raichev
self, x) /Applications/sage-3.3/local/lib/python2.5/site-packages/sage/rings/ qqbar.pyc in __init__(self, parent, x) TypeError: Illegal initializer for algebraic number On Feb 21, 11:05 am, Alex Raichev wrote: > Sweet!  Thanks, Carl. > > Alex > > On Feb 20, 8:08 pm, Carl Witty w

[sage-support] Re: polynomial coercion bug?

2009-02-20 Thread Alex Raichev
Sweet! Thanks, Carl. Alex On Feb 20, 8:08 pm, Carl Witty wrote: > On Feb 19, 10:16 pm, Carl Witty wrote: > > > There's a bug.  And, now that you've pointed out the bug, I figured > > out how to crash Sage with a segmentation fault; so it's a serious > > bug.  Thanks for reporting it!  This bu

[sage-support] polynomial coercion bug?

2009-02-19 Thread Alex Raichev
Hi all: I get an error when i try to coerce monomials of a multivariate polynomial ring over a number field to the corresponding polynomial ring over QQbar. Shouldn't this work? They're monomials; no coefficients. Here's an example. Alex --

[sage-support] Re: the number of irreducible analytic components at a point

2009-01-26 Thread Alex Raichev
by typing "singular.console()". I > suggest you look at the Singular documentation. > > David > > On Jan 22, 12:46 am, Alex Raichev wrote: > > > Hi all: > > > I have a geometry question.  Given an ALGEBRAIC variety V in CC^n > > defined by a single pol

[sage-support] the number of irreducible analytic components at a point

2009-01-21 Thread Alex Raichev
Hi all: I have a geometry question. Given an ALGEBRAIC variety V in CC^n defined by a single polynomial and given a point p in V, how do you compute the number of (distinct) irreducible ANALYTIC components of V passing through p? For example, let f = y^2 -x^2*(1 +x). Then the variety V(f) has

[sage-support] Re: number field question

2009-01-20 Thread Alex Raichev
> So, I'm curious, did you envision your proposal to be to automate all > bookkeeping in translating between QQbar (as presented to the user) > and numbers fields (as fed to the backend Singular)?   I think this > would be very nice and useful. That's exactly what i was thinking of. I know such

[sage-support] Re: number field question

2009-01-19 Thread Alex Raichev
Hi everyone: I'm applying for a grant from the New Zealand government to fund some Sage development in the area of computational algebraic and analytic geometry. For part of the application i need to report on the 'state of the field'. Part of my response to this will be to mention that Sage do

[sage-support] Maple in Sage on Mac

2009-01-12 Thread Alex Raichev
Hi all: I posted this question in September but still haven't been able to resolve the issue: how do i run Maple in Sage? Here's an example session (run on my Mac) illustrating the problem. Alex -- | Sage Version 3.2, Release

[sage-support] Re: number field question

2008-12-04 Thread Alex Raichev
, but i am learning more about Sage every day and my next job might support this endeavor more than my present one. So perhaps in the future i can work on this. Alex On Dec 4, 9:31 am, Carl Witty <[EMAIL PROTECTED]> wrote: > On Nov 30, 1:27 pm, Alex Raichev <[EMAIL PROTECTED]> w

[sage-support] Re: number field question

2008-11-30 Thread Alex Raichev
> It would be helpful if you could give a more concrete example, e.g., a session > where you have some elements, and finally want to do something with them. That's good idea, William. Let me back up to and change my question to a more fundamental one. How does one compute in QQbar with Sage? Fo

[sage-support] number field question

2008-11-27 Thread Alex Raichev
Hi all: I have a list c of elements of QQbar and want to form the field generated by QQ and the elements of c. What's the easiest way to do this? I looked through section 29.1 Number Fields of the Sage reference manual, but couldn't find a simple solution using the functions mentioned there

[sage-support] Re: variety() bug?

2008-11-27 Thread Alex Raichev
Here's an even simpler and more disturbing error with variety(). Is this just my installation? Alex -- | Sage Version 3.2, Release Date: 2008-11-20 | | Type notebook() for the GUI, and license() for info

[sage-support] variety() bug?

2008-11-25 Thread Alex Raichev
Hi all: Do any of you know what is going wrong with the variety() command in the example below? Sometimes it works, and sometimes it doesn't. The problem seems to be variety()'s call to triangular_decomposition(). Alex -- | S

[sage-support] QQbar bug

2008-11-25 Thread Alex Raichev
Hi all: I think i found a small bug relating to QQbar, the algebraic closure of the rationals. | Sage Version 3.2, Release Date: 2008-11-20 | | Type notebook() for the GUI, and licens

[sage-support] Is a complex number?

2008-11-19 Thread Alex Raichev
Hi all: I want to check if an expression A is a complex number? I tried the obvious sage: if A in CC: print "Yep." but that doesn't work. For instance, sage: sqrt(2) in CC: False One method that does work is sage: try: CC(A) except: print

[sage-support] Re: multivariate Taylor series

2008-11-10 Thread Alex Raichev
Thanks, Martin. On Nov 10, 8:07 pm, Martin Rubey <[EMAIL PROTECTED]> wrote: > Alex Raichev <[EMAIL PROTECTED]> writes: > > Hi all: > > > Is there Sage function that computes Taylor expansions for > > multivariate functions? > > If you are willing to ins

[sage-support] multivariate Taylor series

2008-11-09 Thread Alex Raichev
Hi all: Is there Sage function that computes Taylor expansions for multivariate functions? Alex --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more option

[sage-support] simplify with respect to side relations

2008-10-08 Thread Alex Raichev
Hi all: Is there a Sage command similar to Maple 11's 'simplify/siderels' which simplifies an expression with respect to given relations? I couldn't find mention of such a command in the Sage documentation. For more details, here's the Maple 11 help documentation. Alex =

[sage-support] Re: maple from sage on mac os

2008-09-24 Thread Alex Raichev
ers/arai021/.sage//temp/prj_\ read "/Users/arai021/.sage//temp/prj_567_106.cs.auckland.ac.nz/4643// interface//tmp4643"; #-->567_106.cs.auckland.ac.nz/4643//interface//tmp4643"; sage2 #-->read "/Users/arread "/Users/arai021/.sage//temp/ prj_567_106

[sage-support] Re: maple from sage on mac os

2008-09-24 Thread Alex Raichev
Hi William: The same thing happens to me on Mac OS X. How do i fix this? Alex -- | SAGE Version 3.1.2, Release Date: 2008-09-19 | | Type notebook() for the GUI, and license() for information.| ---

[sage-support] substitution with callable symbolic functions

2008-09-18 Thread Alex Raichev
: -> 5142 raise ValueError, "variable name is not a valid Python identifier" 5143 5144 def __hash__(self): ValueError: variable name is not a valid Python identifier Alex On Sep 19, 1:18 pm, Alex Raichev <[EMAIL PROTECTED]> wrote: > Sweet!  Thank

[sage-support] Re: bug in limit()

2008-09-18 Thread Alex Raichev
Sweet! Thanks, Mike. On Sep 19, 11:56 am, "Mike Hansen" <[EMAIL PROTECTED]> wrote: > On Thu, Sep 18, 2008 at 4:54 PM, Alex Raichev <[EMAIL PROTECTED]> wrote: > > > Now, with the above in mind, how do you write a function to evaluate > > that sine limit

[sage-support] Re: bug in limit()

2008-09-18 Thread Alex Raichev
ou execute functions requiring keyword arguments, such as limit(), when you don't know the symbolic variable names involved (but have references to them)? Alex On Sep 19, 9:22 am, Alex Raichev <[EMAIL PROTECTED]> wrote: > Thanks for clarifying that issue, Mike. > > Alex > > On Se

[sage-support] Re: bug in limit()

2008-09-18 Thread Alex Raichev
Thanks for clarifying that issue, Mike. Alex On Sep 18, 3:38 pm, "Mike Hansen" <[EMAIL PROTECTED]> wrote: > Hi Alex, > > > sage: limit(sin(y[0])/y[0],y[0]=0) > > > >   File "", line 1 > > SyntaxError: keyword can't be an expression (,

[sage-support] bug in limit()

2008-09-17 Thread Alex Raichev
Hi all: There seems to be a bug in how the limit() function handles variables in its second argument. Here are two examples. Alex - | SAGE Version 3.0.6, Release Date: 2008-07-30 | | Ty

[sage-support] Re: Nullstellensatz certificates

2008-07-01 Thread Alex Raichev
Excellent! The "f.lift" command is exactly what i am looking for. Thanks for your help, Martin. Alex --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more o

[sage-support] Nullstellensatz certificates

2008-06-29 Thread Alex Raichev
Dear Sage support: Hilbert's Nullstellensatz states that a system of polynomial equations f_1(x) = 0,..., f_s (x) = 0, where f_i in K[x_1,..., x_n ] and K is an algebraically closed field, has no solution in K^n if and only if there exist polynomials a_1,..., a_s in K[x_1,..., x_n ] such that 1