[sage-devel] Re: giac limits number of variables in Gröbner basis calc

2023-06-09 Thread Brent W. Baccala
 AM UTC-4 parisse wrote: > 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 mo

[sage-devel] giac limits number of variables in Gröbner basis calc

2023-06-05 Thread Brent W. Baccala
Hi - I don't think giac can handle more than 15 variables in a Gröbner basis calculation. This limitation isn't really documented anywhere, but if you look in giac's src/cocoa.cc around lines 490-500, function swap_indices and think about it a few minutes, you'll see that it can't handle more

Re: [sage-devel] Re: Updating DifferentialAlgebra (issue 13268)

2023-03-16 Thread Brent W. Baccala
lt;https://trac.sagemath.org/ticket/29706> and Cython documentation > <https://cython.readthedocs.io/en/latest/src/userguide/source_files_and_compilation.html#compiler-directives> > . > > > On Thursday, March 16, 2023 at 1:10:47 PM UTC-7 Brent W. Baccala wrote: > >> Th

Re: [sage-devel] Re: Updating DifferentialAlgebra (issue 13268)

2023-03-16 Thread Brent W. Baccala
ls. > > > > > > > > On Wednesday, March 15, 2023 at 6:56:32 PM UTC-7 Brent W. Baccala wrote: > >> > >> Hi - > >> > >> I'm trying to get the DifferentialAlgebra package in issue 13268 > running (it has a github branch that was imported from t

[sage-devel] Updating DifferentialAlgebra (issue 13268)

2023-03-15 Thread Brent W. Baccala
Hi - I'm trying to get the DifferentialAlgebra package in issue 13268 running (it has a github branch that was imported from trac). Last time I had it running was 9.0 (I think), and now I'm trying to build it on 9.8. It seems to build fine, but can't access functions in the shared library

Re: [sage-devel] Re: Machine Learning people apparently built a symbolic integrator

2019-12-25 Thread Brent W. Baccala
I know the Risch algorithm fairly well. I made two screencast videos describing how to use Axiom or Sage to simplify one of the integrals used in the Facebook paper. Quick summary - Axiom works quite well. Sage can't do it in one step, but the new function field features in Sage 9 allow the

Re: [sage-devel] Re: Coercion between quadratic fields fails (by default)

2019-12-02 Thread Brent W. Baccala
I'd suggest setting AA.options.display_format = 'radical' to eliminate the "numerical noise". -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to

[sage-devel] Re: how to reduce libsingular verbosity?

2019-07-01 Thread Brent W. Baccala
Expanding on my previous answer, I found a way to save printlevel and restore it when I'm done. The key idea is try to get a handle to a function that may not exist, then create it if it doesn't: from sage.libs.singular.function import singular_function, lib lib('normal.lib') normal =

[sage-devel] Re: how to reduce libsingular verbosity?

2019-07-01 Thread Brent W. Baccala
Expanding on my previous answer, I found a way to save printlevel and restore it when I'm done. The key idea is try to get a handle to a function that may not exist, then create it if it doesn't: from sage.libs.singular.function import singular_function, lib lib('normal.lib') normal =

[sage-devel] Re: how to reduce libsingular verbosity?

2019-06-30 Thread Brent W. Baccala
This is what I figured out to adjust Singular's printlevel: from sage.libs.singular import function_factory execute = function_factory.ff.execute execute('printlevel=-1') Now that previous example runs without all the clutter: sage: R. = GF(3)[] : S = R.quo(ideal(y^4 + y - x^5)) :

[sage-devel] Re: How to implement this Parent/Element?

2019-01-23 Thread Brent W. Baccala
I see, now. Thank you. On Wednesday, January 23, 2019 at 2:32:18 PM UTC-5, Travis Scrimshaw wrote: > > Change element_class() to element_class. > > It is all in the error message (remember that self is always an argument). > > Best, > Travis > > -- You received this message because you are

[sage-devel] moving tickets forward

2018-08-21 Thread Brent W. Baccala
Hi - I'd like some guidance on how to move some of my tickets forward, #25351, for example. Once #25351 is closed, then we can move on to #25390, which depends on #25351 and will give us multivariate polynomial factorization over QQbar. Patchbot shows two test failures on #25351 involving

[sage-devel] Singular 4.1.1

2018-04-26 Thread Brent W. Baccala
Hi - Has anybody worked on porting Singular 4.1.1 to Sage? (4.1.1 was released in February; 4.1.1p2 was released on Monday) I'm having problems loading "brillnoether.lib" into the Singular 4.1.0p3 that's current with Sage develop (just try to load it if you want to see it fail), so I thought