Re: [sage-devel] Re: [Proposal] allow standard packages to be pip packages, reduce source tarball size

2024-02-11 Thread mmarco
As I mentioned in the thread that motivated this one, it would be relevant to stablish if it is possible to move those packages from standard to pip, while still having a way to install sage without an internet connection. If the effort is not too much, I think it would make sense to provide

Re: [sage-devel] Proposal: Make pytest, pytest_xdist, pytest_mock, python_build standard packages

2024-02-11 Thread mmarco
Maybe you can get the best of both worlds? I mean: use those packages as pip packages, but also have a way to download a big tarball with those packages, and then pip-install them from that local copy? El domingo, 11 de febrero de 2024 a las 15:50:17 UTC+1, Kwankyu Lee escribió: > How about

[sage-devel] Re: Google Summer of Code: Organization application deadline Feb 6!

2024-02-11 Thread mmarco
ntrast to just linking to a Wikipedia page for a definition, this could > be doctested and roundtripped. > > Matthias > > On Saturday, February 10, 2024 at 8:50:42 AM UTC-8 mmarco wrote: > > One question, Matthias: I see that you have proposed a project involving > integration with proo

[sage-devel] Re: Google Summer of Code: Organization application deadline Feb 6!

2024-02-10 Thread mmarco
One question, Matthias: I see that you have proposed a project involving integration with proof assistants/theorem provers. Just out of curiosity: how do you envision such integration? El martes, 6 de febrero de 2024 a las 6:56:44 UTC+1, Matthias Koeppe escribió: > Great, thanks a lot,

[sage-devel] Re: Demote SageTeX to an optional package?

2021-12-29 Thread mmarco
FWIW, we are working on a python package that partially overlaps sagetex functionality: https://framagit.org/pang/texsurgery El lunes, 6 de diciembre de 2021 a las 19:06:47 UTC+1, Matthias Koeppe escribió: > -1 on demoting it from standard. It's tiny, and installing it as part of > the

Re: [sage-devel] making primecount (and its dependency primesieve) standard

2021-11-23 Thread mmarco
+1 El martes, 23 de noviembre de 2021 a las 11:31:19 UTC+1, vdelecroix escribió: > +1 for using standard and efficient libraries instead of slow and > buggy sage implementations :-) > > Thanks > Vincent > > Le 23/11/2021 à 11:26, Dima Pasechnik a écrit : > > primecount is a popular C++ library

[sage-devel] Re: Help needed with libsingular

2021-10-06 Thread mmarco
I got to make it work, but the code still needs to be checked for memory leaks or other subtle pointer related issues. Reviews welcome. El lunes, 4 de octubre de 2021 a las 18:52:10 UTC+2, mmarco escribió: > > I have retaken the work in #16567 to support rings with parameters in > li

[sage-devel] Help needed with libsingular

2021-10-04 Thread mmarco
I have retaken the work in #16567 to support rings with parameters in libsingular. The ring creation works, but I am stuck with the conversion of coefficients from sage to singular and back. The code I have now is cythonized without complains, but then the c compilation fails with an error

Re: [sage-devel] Error when running doctests.

2021-04-05 Thread mmarco
That actually worked. Thanks! El lunes, 5 de abril de 2021 a las 23:29:25 UTC+2, Michael Orlitzky escribió: > On Mon, 2021-04-05 at 21:43 +0100, Dima Pasechnik wrote: > > internet says it might have to do with wrong permissions to /tmp or > > TMPDIR pointing to a directory with wrong

Re: [sage-devel] Error when running doctests.

2021-04-05 Thread mmarco
Don't think that is the case. The error message is different, and also, the problem persist even after applying the patch. El lunes, 5 de abril de 2021 a las 23:29:25 UTC+2, Michael Orlitzky escribió: > On Mon, 2021-04-05 at 21:43 +0100, Dima Pasechnik wrote: > > internet says it might have to

Re: [sage-devel] Error when running doctests.

2021-04-05 Thread mmarco
ght have to do with wrong permissions to /tmp or > TMPDIR pointing to a directory with wrong permissions. > > On Mon, Apr 5, 2021 at 6:38 PM mmarco wrote: > > > > > > I am getting this kind of error messages when trying to run `make test` > or `sage -t file.py`: &

[sage-devel] Error when running doctests.

2021-04-05 Thread mmarco
I am getting this kind of error messages when trying to run `make test` or `sage -t file.py`: Using --optional=build,dochtml,gentoo,kenzo,memlimit,pip,sage,sage_spkg Doctesting entire Sage library. Doctesting 4271 files. Traceback (most recent call last): File "/home/mmarco/sage/src/bin

[sage-devel] Re: [GSoC Mentors Announce] Now Accepting GSoC 2021 Mentoring Organization Applications until Feb 19

2021-02-08 Thread mmarco
I have participated as mentor other years... but this year I just don't think I have the needed energy. I think Harald's proposal to pass this year and reconsider the next one makes sense (sadly). El domingo, 7 de febrero de 2021 a las 17:54:07 UTC+1, harald@gmail.com escribió: > Hi, a

Re: [sage-devel] Re: Have you considered having a Sage Journal?

2020-05-26 Thread mmarco
I have just published a paper there, with the Sage code to compute minimal models of GCDA's. So it is certainly possible to publish Sage papers there, but my impression is that the journal is more geared towards publishing "external packages" (which might fit with the workflow of systems like

Re: [sage-devel] Re: Poll: make giacpy_sage a standard package

2020-02-04 Thread mmarco
You mean having a function (or global variable) to set which will be the default backend? I find that having a workflow consisting on expressions like: integrate(foo,x,algorithm='giac') is not specially comfortable, but even then, I prefear it to something like:

[sage-devel] Re: Poll: make giacpy_sage a standard package

2020-02-04 Thread mmarco
+1 Also, I suggest that we consider the possibility of using giac as the default backend for symbolic integration. El lunes, 3 de febrero de 2020, 23:52:44 (UTC+1), Samuel Lelievre escribió: > > Please vote for making giacpy_sage a standard package. See > > - Sage Trac ticket: 28918 > Make

[sage-devel] Re: Problems setting patchbots

2019-12-17 Thread mmarco
> > > The second may be a bug in the patchbot server itself. I have no time to > investigate. Maybe the # in the patchbot name is not a good idea (random > guess) ? > > It looks like that could be the culprit, since It also happens in other machines. Any idea on how it could be solved? --

[sage-devel] Re: Problems setting patchbots

2019-12-10 Thread mmarco
For completeness, the problem of the log not being sent is also present in another VM running arch: https://patchbot.sagemath.org/log/0/Linux/#1%20SMP%20PREEMPT%20Fri,%2029%20Nov%202019%2013:37:24%20+/x86_64/5.4.1-arch1-1/patchbot-arch/2019-12-10%2008:19:07 Maybe some trouble of the

[sage-devel] Re: Problems setting patchbots

2019-12-08 Thread mmarco
> > > The second may be a bug in the patchbot server itself. I have no time to > investigate. Maybe the # in the patchbot name is not a good idea (random > guess) ? > > F > I see. Is there a command to uninstall a package? or should I edit some file manually? I will try avoiding the number

[sage-devel] Problems setting patchbots

2019-12-06 Thread mmarco
I am setting up several virtual machines with different distros to run patchbots on them. In particular I want to use different distros (including less usual ones) to get more diversity in the patchbot set. However, I am finding some problems: A debian machine is returning the following error

Re: [sage-devel] Error compiling openblas

2019-12-04 Thread mmarco
Great, now fflas_ffpack complains about not finding blas -- 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+unsubscr...@googlegroups.com. To view this

Re: [sage-devel] Error compiling openblas

2019-12-04 Thread mmarco
?? with the correct value, and rebuild... > > On Wed, Dec 4, 2019 at 4:09 PM mmarco > > wrote: > > > > I am trying to setup several virtual machines to run patchbots (for > different distros). I am getting the following error when trying to compile > Sage from source: >

[sage-devel] Error compiling openblas

2019-12-04 Thread mmarco
I am trying to setup several virtual machines to run patchbots (for different distros). I am getting the following error when trying to compile Sage from source: n not be used when making a shared object; recompile with -fPIC

Re: [sage-devel] Error building 9.0.beta6

2019-11-20 Thread mmarco
20 Nov 2019 at 18:09, mmarco > > wrote: > >> I see, thanks. >> >> Is it a default behaviour? >> > > no, it appears that you have a weird configuration, e.g. I have libblas > installed systemwide, but things just work. > Perhaps it is a Numpy bug. > >&

Re: [sage-devel] Error building 9.0.beta6

2019-11-20 Thread mmarco
I see, thanks. Is it a default behaviour? -- 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+unsubscr...@googlegroups.com. To view this discussion on the

Re: [sage-devel] Error building 9.0.beta6

2019-11-20 Thread mmarco
The log shows this: FOUND: libraries = ['openblas', 'blas'] library_dirs = ['/home/mmarco/sagep3/local/lib', '/usr/lib64'] include_dirs = ['/usr/include', '/home/mmarco/sagep3/local/include'] language = c -- FOUND: define_macros = [('NO_ATLAS_INFO', 1), ('HAVE_CBLAS

Re: [sage-devel] Error building 9.0.beta6

2019-11-20 Thread mmarco
I didn't do anything specific to try to use external blas/lapack. How can I check if sage is trying to? El miércoles, 20 de noviembre de 2019, 10:01:14 (UTC+1), Dima Pasechnik escribió: > > On Wed, Nov 20, 2019 at 8:26 AM mmarco > > wrote: > > > > Hi, > > >

[sage-devel] Re: Switch to Python 3 by default

2019-10-27 Thread mmarco
If all the issues ar solved... sure. I was even surprised that we started haviong betas of version 9 with python 2 (I assumed that the witch to version 9 would be mostly about the transition to python 3). +1 El domingo, 27 de octubre de 2019, 1:58:23 (UTC+2), Volker Braun escribió: > > Maybe I

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

2019-09-29 Thread mmarco
I would be very interested in comparing their results with RUBI. El viernes, 27 de septiembre de 2019, 21:53:00 (UTC+2), Eric Gourgoulhon escribió: > > Thanks for sharing! > This looks very promising. I hope we have it in Sage some day. > > Eric. > > Le vendredi 27 septembre 2019 17:06:31 UTC+2,

[sage-devel] is patchbot.sagemath.org down?

2019-09-27 Thread mmarco
I get an Internal Server Error when I try to access the patchbot. In particular, I can't see patchbot reports for any ticket. To make sure that it is not a problem with my network: does anybody else experience the same? -- You received this message because you are subscribed to the Google

[sage-devel] Re: The opportunity of Python 3 migration

2019-09-01 Thread mmarco
I think the change you propose is reasonable. However, it sounds like a lot of work, and the support for python2 ends in just a few months. We should aim to release a python3 based release that passes all tests before the end of the year. Do you think it is reasonable to do these deep changes

[sage-devel] Re: Education: hints to manual integration

2019-08-28 Thread mmarco
This is now #28415 https://trac.sagemath.org/ticket/28415 El lunes, 19 de agosto de 2019, 13:24:10 (UTC+2), mmarco escribió: > > I have been working a bit on some functions to help students do > integration by hands. Under the hood, they use sympy's integral_steps > function (see

Re: [sage-devel] Resolution of singularities

2019-08-25 Thread mmarco
Ups, I wrote it wrong. His name is Grayson Jorgenson, not Jayson. El viernes, 23 de agosto de 2019, 20:59:17 (UTC+2), mmarco escribió: > > Jayson Jorgenson implemented resolution of singularities for plane curves > as a GSoC project a few years ago: > > > https://doc.sa

Re: [sage-devel] Resolution of singularities

2019-08-23 Thread mmarco
Jayson Jorgenson implemented resolution of singularities for plane curves as a GSoC project a few years ago: https://doc.sagemath.org/html/en/reference/curves/sage/schemes/curves/affine_curve.html But I guess you are talking about the general case. IIRC, singular returns the output of the

[sage-devel] Re: Education: hints to manual integration

2019-08-20 Thread mmarco
BTW El martes, 20 de agosto de 2019, 5:44:33 (UTC+2), rjf escribió: > > It may be a mistake to combine "help for students learning symbolic > integration" > and "symbolic integration" simply because the methods taught to students > are probably different from the integration algorithms used by

[sage-devel] Re: Education: hints to manual integration

2019-08-20 Thread mmarco
> > > The link below to docs did not work for me until I added an "l' to make > it html. > You are right, sorry for the broken link. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails

[sage-devel] Education: hints to manual integration

2019-08-19 Thread mmarco
I have been working a bit on some functions to help students do integration by hands. Under the hood, they use sympy's integral_steps function (see [1]), but I am not sure which is the right way to present it. The options I am considering are: 1) Go full step-by-step integrations, in the

[sage-devel] Re: Automatic Differentiation - Taylor Arithmetics

2019-04-29 Thread mmarco
You might be interested in taking a look at tides [1]. It is a library for integration of ODE's in high precission using precisely automatic differentiation and Taylor arithmetic. It doesn't use interval arithemtic (so, no certified computation), but maybe some ideas could be useful. The way it

Re: [sage-devel] Integrals don't coincide with the ones directly done by maxima

2019-03-24 Thread mmarco
> > > None of these will really help in this case. Without abs_integrate, you > get no answer. With abs_integrate, you get the wrong answer. This one > will probably have to be fixed in Maxima. > Going from a wrong answer to no answer is an improvement. So yes, it does help in this case.

Re: [sage-devel] Integrals don't coincide with the ones directly done by maxima

2019-03-23 Thread mmarco
The proposal of not using abs_integrate by default, and provide the option of using it it with an algorithm keyword seems the most logical to me. El viernes, 22 de marzo de 2019, 16:46:38 (UTC+1), Nils Bruin escribió: > > On Friday, March 22, 2019 at 3:00:54 AM UTC-7, Dima Pasechnik wrote: >>

Re: [sage-devel] Integrals don't coincide with the ones directly done by maxima

2019-03-20 Thread mmarco
So the bug is really in the abs_integrate package for maxima? In that case: is it really worth it to import it by default? El miércoles, 20 de marzo de 2019, 13:58:46 (UTC+1), Dima Pasechnik escribió: > > On Wed, Mar 20, 2019 at 05:36:59AM -0700, mmarco wrote: > > I am trying

[sage-devel] Integrals don't coincide with the ones directly done by maxima

2019-03-20 Thread mmarco
I am trying to pinpoint the following bug: sage: integral(sqrt(1+cos(x)^2),x) -1/24*sin(3*x) + 1/8*sin(x) which is incorrect. One would think that maxima is returning a wrong answer, but if we ask directly to maxima, it leaves the integral as it is: sage: f = sqrt(1+cos(x)^2) sage:

Re: [sage-devel] Poll: set online=True as the default for threejs viewer

2019-02-15 Thread mmarco
About that, I dealt with that for a test installation if jupyterhub/jupyterlab i am working in at my university. My solution consisted in two parts: 1) Copying the threejs files to a directory where the jupyterhub server can serve them (in my case, it was /usr/local/share/jupyterhub/static/ )

[sage-devel] Re: Poll: set online=True as the default for threejs viewer

2019-02-11 Thread mmarco
Is there any essential reason why online=False can not work on nbviewer or mybinder? If it can be solved, I think it makes more sense to make it work without breaking the default behaviour when there is no internet available. El lunes, 11 de febrero de 2019, 18:31:33 (UTC+1), Eric Gourgoulhon

Re: [sage-devel] Re: Location of ecl packages

2019-02-03 Thread mmarco
hing to do - perhaps I > miss something trvial here... > 12:13 < phoe> you don't want to use Quicklisp in that case > 12:13 < phoe> quicklisp operates with the assumption that users can > download arbitrary stuff into the Quicklisp directory > 12:14 < phoe> basi

Re: [sage-devel] Re: Location of ecl packages

2019-02-01 Thread mmarco
gt; On Fri, Feb 1, 2019 at 8:32 PM mmarco > > wrote: > > > > Yes, but what I mean is that when you do that, kenzo code is compiled > into the user's home directory (look under ~/quicklisp). So if there are > several users in the same machine, it will be compiled for

Re: [sage-devel] Re: Location of ecl packages

2019-02-01 Thread mmarco
Pasechnik escribió: > > On Fri, Feb 1, 2019 at 4:23 PM mmarco > > wrote: > > > > Thanks for the answers. > > > > I just realized that the package I want to install is available by > quicklisp, so maybe it would be easyer to install it using that. > >

[sage-devel] Re: Location of ecl packages

2019-02-01 Thread mmarco
Thanks for the answers. I just realized that the package I want to install is available by quicklisp, so maybe it would be easyer to install it using that. However I noticed that quicklisp installs evetything in the users home directory, even if it is called from the sage environment. That

[sage-devel] Location of ecl packages

2019-01-31 Thread mmarco
I am working in a Kenzo interface/optional package. I managed to load through the ecl interface, but using asdf, but in order to do that I had to have it installed in my ~/common-lisp/ directory. As an optional package, it should be located in some directory of the sage install, that must be

[sage-devel] Re: GSoC 2019?

2019-01-20 Thread mmarco
Maybe I could mentor a student, but don't have in mind any specific project proposal right now. WIll think about it. El martes, 15 de enero de 2019, 21:28:16 (UTC+1), Harald Schilly escribió: > > Hi everyone. This years Google Summer of Code 2019 just started. Should we > write an application?

Re: [sage-devel] A Sage interface for FGb (Gröbner bases)

2018-11-22 Thread mmarco
I would be interested in that too, but that sounds like a complex task. I think one or more GSoC projects could fit into that... and maybe also some thematic Sage Days. El jueves, 22 de noviembre de 2018, 11:28:32 (UTC+1), Dima Pasechnik escribió: > > On Thu, Nov 22, 2018 at 9:43 AM parisse >

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread mmarco
That is exactly the case: the cocoalib package is just that for the moment: a way to install cocoalib from sage. The plan when that was done was to write a cython interface , but that hasn't been done yet. Since cocoalib is a very big library, I think it would be a good idea to do so

Re: [sage-devel] Re: talk

2018-08-04 Thread mmarco
Do you know if something similar exists for jupyterlab? El sábado, 4 de agosto de 2018, 10:56:39 (UTC+2), Volker Braun escribió: > > There is a jupyter extension for that, though I haven't tried it... > > >

Re: [sage-devel] Making libhomfly and libbraiding

2018-06-28 Thread mmarco
Ok, let me know if you can verify that libbraiding works on cygwin. El jueves, 28 de junio de 2018, 17:27:54 (UTC+2), Erik Bray escribió: > > On Thu, Jun 28, 2018 at 5:25 PM mmarco > > wrote: > > > > The packages libbraiding and libhomfly have been optional

[sage-devel] Making libhomfly and libbraiding

2018-06-28 Thread mmarco
The packages libbraiding and libhomfly have been optional for more than a year. They provide methods for braids and knots that many people find useful, so I propose to make them standard packages. Are you ok with that? -- You received this message because you are subscribed to the Google

[sage-devel] Re: How much do we support the casual user

2018-03-30 Thread mmarco
What about creating a `is_prime_integer` function? Explicit is better than implicit, and in that case we leave no ambiguity in the mathematical sense, but also cover the use case of the casual user. What i definitely don't want is `.is_prime()` return `True` when it is applied to an element

[sage-devel] Re: nbextensions on jupyterlab

2018-03-04 Thread mmarco
jupyterhub or not. El domingo, 4 de marzo de 2018, 0:42:43 (UTC+1), Kwankyu Lee escribió: > > > > On Sunday, March 4, 2018 at 1:17:40 AM UTC+9, mmarco wrote: >> >> Thanks, I finally could solve it with a dirty hack: >> >> I put the nbextensions inside /usr/local/sha

[sage-devel] Re: nbextensions on jupyterlab

2018-03-03 Thread mmarco
:27 (UTC+1), Kwankyu Lee escribió: > > > > On Friday, March 2, 2018 at 12:30:29 AM UTC+9, mmarco wrote: >> >> I am trying to install a service to use Sage through the jupyterlab >> frontend, behind a jupyterhub server. >> >> So far, I could get everyt

[sage-devel] nbextensions on jupyterlab

2018-03-01 Thread mmarco
I am trying to install a service to use Sage through the jupyterlab frontend, behind a jupyterhub server. So far, I could get everything to work, even the threejs interactive graphics on a standalone jupyterlab instance. In order to make it run I just copied the corresponding nbextension

[sage-devel] Re: making database_gap (starting from GAP 4.9) standard - please vote

2018-02-19 Thread mmarco
+1 -- 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+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com.

[sage-devel] Re: Sage Days next July in Zaragoza (Spain)

2018-01-16 Thread mmarco
shcedule. Best, Miguel El martes, 7 de noviembre de 2017, 13:04:00 (UTC+1), Simon King escribió: > > Hi Miguel, > > On 2017-11-07, mmarco <mma...@unizar.es > wrote: > > - The sage development workflow (Trac, git, doctests...) -> Eric > > Gourgoulhon > >

Re: [sage-devel] Re: Sage Days next July in Zaragoza (Spain)

2017-11-08 Thread mmarco
me > this doesn't happen as often as one wants. > > Best, > Travis > > On Wednesday, November 8, 2017 at 2:33:13 AM UTC+10, Jeroen Demeyer wrote: >> >> On 2017-11-07 12:26, mmarco wrote: >> > I have to clarify: Tomer Bauer did not volunteer to give a talk abou

[sage-devel] Re: Sage Days next July in Zaragoza (Spain)

2017-11-07 Thread mmarco
I have to clarify: Tomer Bauer did not volunteer to give a talk about creating extensions; he actually showed interest in learning about it. He mostly means following this approach: https://github.com/sagemath/sage_sample Any takers? El martes, 7 de noviembre de 2017, 10:32:19 (UTC+1), mmarco

[sage-devel] Re: Sage Days next July in Zaragoza (Spain)

2017-11-07 Thread mmarco
Consdering your offers, I made a temptative assignation of the subjects to cover: - The sage development workflow (Trac, git, doctests...) -> Eric Gourgoulhon - The coercion model & Implementation of Parents and elements -> Simon King - The category framework -> Travis Scrimshaw - Cython &

[sage-devel] Re: Sage Days next July in Zaragoza (Spain)

2017-11-06 Thread mmarco
I have created the wiki page: https://wiki.sagemath.org/days94 Please feel free to edit it if you want to add more information (for instance, if you want to assign a course to yourself). I will add more information as we get more details figured out. Best, Miguel. -- You received this

[sage-devel] Re: Sage Days next July in Zaragoza (Spain)

2017-11-03 Thread mmarco
Thank you all! If it is ok with you, I will create a wiki page to keep track of the organization details. As soon as we can close the dates (maybe next week), I) will let you know. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe

[sage-devel] Sage Days next July in Zaragoza (Spain)

2017-10-31 Thread mmarco
Hello, We will be organizing the next meeting of the spanish network of computer algebra in Zaragoza (Spain); the proposed dates are July 4th-6th. As a satellite event we plan to organize also a Sage Days (right before, or right after the meeting), in the form of a school oriented to

Re: [sage-devel] let's make FriCAS optional

2017-09-28 Thread mmarco
Indeed. This last GSoC there was some work to include the Rubi integrator in sympy. That could allow to compute a larger set of integrals (although I have read that it can be kind of slow). It would be a good idea to consider which one of these options we should call by default in each case.

Re: [sage-devel] Re: [ODK participants] Blog post on fast multivariate arithmetic

2017-07-10 Thread mmarco
This is now #23395 <https://trac.sagemath.org/ticket/23395> El lunes, 10 de julio de 2017, 13:43:46 (UTC+2), mmarco escribió: > > If you used quo_rem, beware that Sage only uses Singular if the > coefficient ring is a field. So if you define your polynomials over QQ > instead

Re: [sage-devel] Re: [ODK participants] Blog post on fast multivariate arithmetic

2017-07-10 Thread mmarco
we could rely on Singular also for the case of Integers. El lunes, 10 de julio de 2017, 12:48:55 (UTC+2), mmarco escribió: > > It is surprising the difference between singular and Sage, considering > that Sage mostly relies on Singular for multivariate polynomial arithmetic. >

Re: [sage-devel] Re: [ODK participants] Blog post on fast multivariate arithmetic

2017-07-10 Thread mmarco
we could rely on Singular also for the case of Integers. El lunes, 10 de julio de 2017, 12:48:55 (UTC+2), mmarco escribió: > > It is surprising the difference between singular and Sage, considering > that Sage mostly relies on Singular for multivariate polynomial arithmetic. >

Re: [sage-devel] Re: [ODK participants] Blog post on fast multivariate arithmetic

2017-07-10 Thread mmarco
It is surprising the difference between singular and Sage, considering that Sage mostly relies on Singular for multivariate polynomial arithmetic. In the case of divisions, I suspect that it has to do with the fact that Sage treats division of polynomials as an operation in the fraction field,

[sage-devel] Re: knowing our basic floating point arithmetic actually works -- do you care?

2017-05-04 Thread mmarco
FWIW I have recently written a library that performs certified root continuation of bivariate polynomials. It makes extensive use of MPFR, and plan to include it as a Sage package. So, since the goal is to make certified computations, it would be really nice to have a formal proof of the

[sage-devel] Re: Computing invariants of hyperbolic Coxeter groups

2017-03-31 Thread mmarco
I recommend you to start by reading the sage developer guide: http://doc.sagemath.org/html/en/developer/index.html It covers all the development process. I am no expert in Coxeter groups, but from what I see, we already have support for them in Sage. So I will assume that your software would

Re: [sage-devel] Re: Conda package for Sage

2017-03-23 Thread mmarco
Does that work on all the platforms supported by anaconda, or is it linux only? El jueves, 23 de marzo de 2017, 5:29:31 (UTC+1), Isuru Fernando escribió: > > Hi, > > Update: With the help of Erik and Julian, we now have all the runtime > dependencies of sage in conda-forge. > > There are some

[sage-devel] Re: integration algorithms

2017-02-28 Thread mmarco
increase the number of cases that we can integrate, the first step would be to have some support for simplification rules. El martes, 28 de febrero de 2017, 18:01:58 (UTC+1), parisse escribió: > > > > Le mardi 28 février 2017 15:57:53 UTC+1, mmarco a écrit : >> >> Many RUBI r

[sage-devel] Re: integration algorithms

2017-02-28 Thread mmarco
of degree 2). But perhaps I misunderstand Rubi, and it > does that inside Mathematica? > > Le mardi 28 février 2017 10:50:50 UTC+1, mmarco a écrit : >> >> >>> Back to the original proposal. Certainly rules can't catch all cases >>> either. Doesn't this

[sage-devel] Re: integration algorithms

2017-02-28 Thread mmarco
> > > Back to the original proposal. Certainly rules can't catch all cases > either. Doesn't this call for a combined approach? As soon as we have rules > in Sage they should be called before the best algorithm we have. The > default then IMO should be "special rules + Maxima" instead of

[sage-devel] Re: integration algorithms

2017-02-27 Thread mmarco
> > > > I think that it might be possible to wrile (in Python ?) a "Ruby rules > compiler" that could use our (rudimentary) wildcard facility to effect > those substitutions. A possible companion would be a "Mathematica compiler" > able to translate a Mathematica Integrate statement and

[sage-devel] Re: What is the right way to deal with mpfr_t arrays/vectors/lists in cython?

2017-02-05 Thread mmarco
UTC+1, mmarco wrote: >> >> cdef extern from "my_library.h": >> mpfr_t* my_function (mpfr_t *_coef) >> > > > That isn't exactly idiomatic C++, but ok > > > /home/mmarco/sage/local/lib/python2.7/site-packages/IPython/core/ultratb.pyc &

Re: [sage-devel] Re: What is the right way to deal with mpfr_t arrays/vectors/lists in cython?

2017-02-05 Thread mmarco
tion at all. > > Le 05/02/2017 à 11:40, Vincent Delecroix a écrit : > > If you had a look at the code I provided you can check that what you did > > is very wrong. > > > > mpfr_t is already an array. The type "mpfr_t * x" make no sense at all. > >

[sage-devel] Re: What is the right way to deal with mpfr_t arrays/vectors/lists in cython?

2017-02-05 Thread mmarco
icodeDecodeErrorTraceback (most recent call last) /home/mmarco/sage/local/lib/python2.7/site-packages/IPython/core/ interactiveshell.pyc in run_code(self, code_obj, result) 2896 if result is not None: 2897 result.error_in_exec = sys.exc_in

[sage-devel] What is the right way to deal with mpfr_t arrays/vectors/lists in cython?

2017-02-04 Thread mmarco
I am working in a C++ library that provides some certified homotopy continuations. It provides a function that, takes as input a list of floating point numbres and returns another such list. I am having a lot of trouble trying to write a sage-cython interface for mpfr floats (the version for

[sage-devel] Re: GSoC 2017 kickoff

2017-01-20 Thread mmarco
I am not sure I will have time to be a mentor this year, but I would like to propose porting rubi to sage: http://www.apmaths.uwo.ca/~arich/ It is a series of rules (over 6000) to be applied to symbolic expressions in order to get their primitive. The results they produce are better than the

Re: [sage-devel] Re: Sage Windows Installer (take 2b)

2016-12-14 Thread mmarco
If you provide several binaries, I think it would be wise to advertise the lowest common denominator as the "standard" one, so it works for every user. El miércoles, 14 de diciembre de 2016, 12:59:13 (UTC+1), Erik Bray escribió: > > On Wed, Dec 14, 2016 at 12:47 PM, Erik Bray

[sage-devel] Re: inconsistent Sagemath doc licenses - a fix is needed

2016-12-09 Thread mmarco
On Thursday, December 8, 2016 at 8:41:55 PM UTC, mmarco wrote: >> >> If I am not mistaken, the reference manual is automatically built from >> the docstrings in the source code files... which are GPL. How does that >> affect the resulting documentation? >> >

[sage-devel] Re: inconsistent Sagemath doc licenses - a fix is needed

2016-12-08 Thread mmarco
If I am not mistaken, the reference manual is automatically built from the docstrings in the source code files... which are GPL. How does that affect the resulting documentation? El jueves, 8 de diciembre de 2016, 17:17:19 (UTC+1), Dima Pasechnik escribió: > > As pointed out in >

[sage-devel] Re: Python Debugging / Using PUDB with Sage

2016-11-28 Thread mmarco
If this is of any help, this is what I use: https://github.com/miguelmarco/pykdedebugger El sábado, 26 de noviembre de 2016, 8:25:02 (UTC+1), Maxie Schmidt escribió: > > I've been looking at GUI-based (or at least text-GUI-based) python > debuggers to help with fixing bugs in a larger python

[sage-devel] Re: "Tri bool"

2016-11-16 Thread mmarco
The way I would handle those cases, is by raising an exception. The same way that you raise an exception when the software is not able to give any other answer that you might ask. El martes, 15 de noviembre de 2016, 8:22:15 (UTC+1), tdumont escribió: > > When developing a software which aims

[sage-devel] Re: Upgrade to Singular 4.x

2016-09-07 Thread mmarco
Both results are equivalent in this case (the given charts actually differ only by a change of coordinates), but I am not sure why the difference has appeared. I will try to have a look at it in the following days (although don't have much time available lately). Is it possible that Singular 4

[sage-devel] Re: The Sage Wiki

2016-08-27 Thread mmarco
Since we are talking about the wiki... I would propose to use another default theme. From my perspective, the default theme looks much worse than other possibilities: https://moinmo.in/ThemeMarket Even if we don't want to install anything, just changing the default to the righsidebar one

[sage-devel] Re: Chelsea Manning and SageMath

2016-07-26 Thread mmarco
I am really happy to see her using (and endorsing) Sage. Apparently she will publish some code in November. I am not completely sure she is talking about lattice based crypto. There are other possibilities, (code-based, isogenies...) for which Sage could also be useful. Maybe this will attract

[sage-devel] Did trac server change its rsa keys?

2016-07-19 Thread mmarco
Trying to `git trac push` I get the following error message. Is it expected or someone is trying to MITM me? Traceback (most recent call last): File "/home/mmarco/git-trac-command/bin/git-trac", line 18, in cmdline.launch() File "/home/mmarco/git-trac-command/git_trac/cm

Re: [sage-devel] inverse of units

2016-07-06 Thread mmarco
Non units are not interval in the same parent, but might be in a bigger one (think of the fraction field of a ring). The question is to have a method that tries to invert the object even if it has to go to a bigger parent; and a different one that tries to find the inverse in the same parent,

[sage-devel] Re: make giac/giacpy a standard package

2016-07-02 Thread mmarco
+1 -- 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+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com.

[sage-devel] Re: wiki.sagemath.org

2016-06-27 Thread mmarco
Do we really need cloudflare for this? -- 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+unsubscr...@googlegroups.com. To post to this group, send email

Re: [sage-devel] Re: What is the best time for Trac downtime?

2016-06-20 Thread mmarco
It seems to be ok now. Thanks. El lunes, 20 de junio de 2016, 4:19:50 (UTC+2), William escribió: > > On Sun, Jun 19, 2016 at 4:09 AM, mmarco <mma...@unizar.es > > wrote: > > Did you recently enable cloudflare cache services? > > > > I am using Tor to circunv

[sage-devel] Re: What is the best time for Trac downtime?

2016-06-19 Thread mmarco
Did you recently enable cloudflare cache services? I am using Tor to circunvent some pesky firewall, and when trying to push some changes, I get some git_trac.trac_error.TracConnectionError: Forbidden error. Would it be possible to disable cloudflare? Or at least, to use the option to not

[sage-devel] Re: http://trac.sagemath.org vs https://trac.sagemath.org

2016-06-08 Thread mmarco
El miércoles, 8 de junio de 2016, 15:46:47 (UTC+2), Frédéric Chapoton escribió: > > What about https for patchbot.sagemath.org ? > > @mmarco, I can open an account for you on this machine if you want. > > Sure. If you give me an email address, I can send you my RSA keys. T

[sage-devel] Re: http://trac.sagemath.org vs https://trac.sagemath.org

2016-06-08 Thread mmarco
I volunteered some time ago to set up a letsencrypt certificate in the wiki. I didn't include trac server in that move because there was already the option for https, but I agree it would be better to make it https only. -- You received this message because you are subscribed to the Google

  1   2   3   4   5   6   7   >