I eventually checked. You are requesting a lexicographic Groebner basis,
but since it's much slower than reverse lex. ordering, Giac tries first
revlex ordering, because if the ideal is 0 dimensional it would call FGLM.
The revlex basis computation is fast (about 2 seconds on my PC) but the
I'll attach my script. It's 26 KB and uses 67 variables.
I'm just suggesting checking the number of variables (whatever it is) at
the beginning and returning an error message, rather than me checking with
gdb, which I've already done!
agape
brent
On Friday, June 9, 2023 at 6:37:44
There is code for up to 64 variables. I'm not sure for more. Can you send
your input? That way I can check with gdb.
On Monday, June 5, 2023 at 9:19:04 PM UTC+2 Brent W. Baccala wrote:
> Hi -
>
> I don't think giac can handle more than 15 variables in a Gröbner basis
> calculation.
>
> This
Le mardi 15 janvier 2019 07:32:31 UTC+1, Dima Pasechnik a écrit :
>
> On Fri, Jan 11, 2019 at 7:43 PM parisse > wrote:
> >
> > The latest version of giac is 1.5.0-35 (1.4.9-45 is exactly 1 year old
> now). Some compilation bugs were reported by Dima on Xcas forum and fixed
> some weeks ago.
On Fri, Jan 11, 2019 at 7:43 PM parisse wrote:
>
> The latest version of giac is 1.5.0-35 (1.4.9-45 is exactly 1 year old now).
> Some compilation bugs were reported by Dima on Xcas forum and fixed some
> weeks ago.
Thanks. Should we consider 1.5.0-35 (or newer) a stable Giac version?
--
You
The latest version of giac is 1.5.0-35 (1.4.9-45 is exactly 1 year old
now). Some compilation bugs were reported by Dima on Xcas forum and fixed
some weeks ago.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and
https://trac.sagemath.org/ticket/27035
Le 09/01/2019 à 16:56, Vincent Delecroix a écrit :
Dear all,
On a fresh sage clone, SAGE_DEBUG=yes and configured with
./configure --with-python=3 CC=clang CXX=clang++
the build stops at giac (see attached log).
Vincent
--
You received this message
Hi,
I'd just add a function groebner_basis(F) to sage.libs.giac (or wherever the
Giac Cython interface lives) which takes a Sage sequence, computes a Gröbner
basis and returns a Sage sequence.
Integrating that into multi_polynomial_ideal.py is then very easy.
I've created
Agreed, I was just hoping someone else would do the work for me :)
On Monday 29 Jun 2015 14:59:15 Simon King wrote:
Hi Martin,
On 2015-06-29, 'Martin Albrecht' via sage-devel sage-
de...@googlegroups.com wrote:
Can we add a more convenient interface for computing Gröbner bases with
Sage.
Hi Martin,
On 2015-06-29, 'Martin Albrecht' via sage-devel sage-devel@googlegroups.com
wrote:
Can we add a more convenient interface for computing Gröbner bases with Sage.
That is, I'd like to be able to say
I.groebner_basis('giac')
and be done with it :) I'm happy to help.
If I
I can help also for the giacpy syntax.
We need 2 cases: only for grevlex, prime fields of char p 2^31 or QQ
(I think that in other cases giac could be very bad)
may be the easiest for me is if you could start a branch with those 2 cases
and some tags where I should insert the conversions and
I think I can start something it looks to be in
src/sage/rings/polynomial/multi_polynomial_ideal.py
http://git.sagemath.org/sage.git/tree/src/sage/rings/polynomial/multi_polynomial_ideal.py?id=c0e721783317f205106c9c3c552e366ce4e6c50e
It may not be necessary to modify the cython interface for
On 4 mar, 11:49, Han Frederic h...@math.jussieu.fr wrote:
Hello,
I'm new to sage,
I have tried to adapt the maple.py interface to obtain a giac
interface for sage.
The current version is there:http://www.math.jussieu.fr/~han/xcas/giac.py
one needs a recent giac program. (this week,
Even at 10 minutes with no optimization
that seriously tests my patience. And 72 minutes with
optimization is real deal breaker.
!
(c) Did you first look at the giac.info page?
I don't know what that is. However, I expect to be able
to cd to the source directory, start looking
On Tue, Aug 26, 2008 at 2:46 AM, parisse
[EMAIL PROTECTED] wrote:
Even at 10 minutes with no optimization
that seriously tests my patience. And 72 minutes with
optimization is real deal breaker.
!
I am very impatient.
(e) Perhaps. From my own experience, it is not easy to enter into a
I didn't find NTL that easy to use. Perhaps it depends on the code
style of the reader and writer. I had a look at singular 2 years ago,
and I did not find it easy at all (and it was not available as a
library anyway).
I didn't look at ginac recently, but I did 8 years ago when I started
On Tue, Aug 26, 2008 at 11:21 AM, Ondrej Certik [EMAIL PROTECTED] wrote:
I didn't find NTL that easy to use. Perhaps it depends on the code
style of the reader and writer. I had a look at singular 2 years ago,
and I did not find it easy at all (and it was not available as a
library anyway).
Incidentally, I invested a significant amount of time systematically
learning
C++ when I was an undergrad computer science major, so you're
right that this likely affects my perspective.
This is indeed interesting. If you say that ginac is nicely written,
then I really should consider
The official guidelines for inclusion of new packages are:
= License =
GPL version 2+ compatible license. (This will be publicly revisited around
Jan 15, 2009.)
GIAC seems to be GPL v3+ according to Michael Abshoff?
I can re-license it to GPL 2 (maybe some optional libraries should
Also Giac comes with a lot of stuff that is already in Sage, while Ginac
only does stuff that is not there yet (fast symbolic arithmetic)
???
What do you mean by fast symbolic arithmetic? Ginac does basic fast
symbolic arithmetic (+,*), Giac does in addition gcd, factor,
integration,
On Mon, Aug 25, 2008 at 9:23 AM, parisse
[EMAIL PROTECTED] wrote:
The official guidelines for inclusion of new packages are:
= License =
GPL version 2+ compatible license. (This will be publicly revisited around
Jan 15, 2009.)
GIAC seems to be GPL v3+ according to Michael Abshoff?
I
I meant stuff like this:
Installing the required libraries from source (recommended)
* CoCoA 0.99 (for faster Groebner basis).
Sage already has faster Groebner bases since it included Singular. There is
a lot of stuff like that in Xcas/Giac like that Sage already has. This
On Mon, Aug 25, 2008 at 12:34 PM, parisse
[EMAIL PROTECTED] wrote:
I meant stuff like this:
Installing the required libraries from source (recommended)
* CoCoA 0.99 (for faster Groebner basis).
Sage already has faster Groebner bases since it included Singular. There is
a lot
I got past the above OS X problems by setting CXXFLAGS, CFLAGS,
and LDFLAGS as you suggest. But then the build bombs out with this:
...
g++ -DHAVE_CONFIG_H -I. -I. -I.. -I. -I..
-I/Users/was/build/sage-3.0.alpha1/local/include -c global.cc -o
global.o
global.cc: In function 'bool
Hi!
Which libraries does it check for that a standard system won't have?
I guess I'll find out.
On OS X my build fails with:
In file included from gen.h:39,
from sym2poly.h:25,
from sym2poly.cc:32:
vecteur.h:25:28: error: gsl/gsl_vector.h: No such file
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi,
parisse wrote:
| (c) Create some sort of C/C++ library interface. This is very
| very difficult.
|
|
| I had some hope that swig could help do the bridge between the C++
| giac library and python, but I never tried.
If your code is heavy
I'm interested in his spreadsheet from a browser project, since we plan
to do something similar with Sage at some point, probably. Does he
intend to embed giac like functionality as formulas in the cells? Does
from a browser mean an AJAX application?
giac has already cell evaluation
On Mon, Apr 14, 2008 at 6:58 AM, parisse
[EMAIL PROTECTED] wrote:
I'm interested in his spreadsheet from a browser project, since we plan
to do something similar with Sage at some point, probably. Does he
intend to embed giac like functionality as formulas in the cells? Does
from a
Hi!
I have a couple of questions about Giac/XCas and also you. They are all over
the map. Answer what you want and ignore the other questions.
1. Is this the public svn development server for Giac/Xcas?
http://xcas.svn.sourceforge.net/viewvc/xcas/
Yes. But it is currently used only
On Sun, Apr 13, 2008 at 9:23 AM, parisse
[EMAIL PROTECTED] wrote:
Hi!
I have a couple of questions about Giac/XCas and also you. They are all
over
the map. Answer what you want and ignore the other questions.
1. Is this the public svn development server for Giac/Xcas?
30 matches
Mail list logo