Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)
On Saturday, 15 December 2018 22:22:09 UTC+1, parisse wrote: > > > > Le samedi 15 décembre 2018 20:57:02 UTC+1, Bill Hart a écrit : >> >> >> >> And even if giac did all that, it is one of many projects doing >> multivariate polynomial arithmetic in Europe. There's also Trip, Piranha, >> Factory, Pari/GP, Gap. I really don't think it is a valid argument that >> just because your CAS/library can do multivariate arithmetic that we should >> stop working on it! >> >> >> I never said that. The point is that many people seems to ignore Giac. > This is how I interpret the thread subject here or the fact that I was > never contacted when the ODK project was launched. But perhaps it's better > to be ignored in the end, I'm free to implement whatever I want. > We were not contacted either. You can actually find the point where I heard about OpenDreamKit on sage-devel. I brought it to the attention of my bosses, and they contacted the project leader to get involved! But anyway, I better understand what you are saying now. I thought I must have been misunderstanding something. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)
Le samedi 15 décembre 2018 20:57:02 UTC+1, Bill Hart a écrit : > > > > And even if giac did all that, it is one of many projects doing > multivariate polynomial arithmetic in Europe. There's also Trip, Piranha, > Factory, Pari/GP, Gap. I really don't think it is a valid argument that > just because your CAS/library can do multivariate arithmetic that we should > stop working on it! > > > I never said that. The point is that many people seems to ignore Giac. This is how I interpret the thread subject here or the fact that I was never contacted when the ODK project was launched. But perhaps it's better to be ignored in the end, I'm free to implement whatever I want. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)
On Saturday, 15 December 2018 18:19:53 UTC+1, parisse wrote: > > Bill, my feeling is that part of ODK money was used to improve > multivariate polynomial arithmetic implementations precisely in a domain > where Giac behaves well (and maybe I should emphasize that unlike almost > all other CAS, Giac is a library, i.e. is interoperable with any software > that can interact with a C++ library). Despite that, ODK ignores Giac. > I'm really puzzled by this. There is even overlap *within* ODK. Our local site and another colleague of ours also contributed to parallel root clustering, a superoptimiser, a Jupyter interface, SIMD optimisation, a quadratic sieve and so on. I think Giac barely covers any of that. We aren't trying to do multivariate arithmetic; we are trying to improve and modernise the system that we have been developing for 30 years in the direction of HPC, and expose it to a VRE so that it can be a more useful tool in the "toolbox". Giac does not address that for us. But even if we just focus on multivariate arithmetic (which we obviously need, just as you do), the new implementation we are working on seems to have different goals: * lex, deglex, degrevlex (and soon, weighted) orderings in an arbitrary number of variables * multiprecision exponents (to support new algorithms for sparse interpolation) * near linear scaling of all major algorithms up to many cores with a highly optimised threaded memory manager * fast specialised multivariate arithmetic and gcd over Z/pZ, Z and Q (and some initial work over finite fields and extensions insofar as it is necessary for the other) * ideal reduction * specialised cases for dense, quasi-sparse and sparse algorithms * integration with Singular via Factory (the library of Singular that does multivariate arithmetic for applications other than GBs) * exposure to a VRE * clear, modularised code, documentation and tests It's not clear to me how much of all that giac supports. And I am sure I've mentioned most of these goals, both publicly and privately. I apologise if I have not made this more clear in the past. It is certainly not our goal to just do what giac already does. And even if giac did all that, it is one of many projects doing multivariate polynomial arithmetic in Europe. There's also Trip, Piranha, Factory, Pari/GP, Gap. I really don't think it is a valid argument that just because your CAS/library can do multivariate arithmetic that we should stop working on it! Also, I don't believe we've ignored giac at all. I've sent dozens of emails to you personally. I've mentioned your work to many of my colleagues, and when we benchmark our stuff, I have benchmarked giac, and been in contact with you personally when we do. I vaguely recall inviting you for a visit once. Surely, I am missing your point here. Well, I'm not sure it's the right place to discuss that, and anyway past is > the past. > Now that I made the effort to fine tune my gbasis code, it behaves very > well on Q on multi-CPUs architectures. We'll see if there is more interest > or not. > Great. I will mention this to my colleagues next door, who are working on GB's. I am sure they will be very interested to hear about and compare the progress you have made. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] merging gap_packages and database_gap spkgs into gap spkg
That sounds great! David On Sat, Dec 15, 2018 at 7:28 AM John Cremona wrote: > +1 > > On 15 Dec 2018 10:09, "Dima Pasechnik" wrote: > >> The present design with two optional packages gap_packages and >> database_gap was dictated in the 1st place by copyright issues with >> their contents, preventing them from being standard. >> >> Since GAP release 4.9, all these issues have been resolved upstream, >> and I propose these spkgs to be merged into the standard GAP spkg. The >> upstream GAP tarball already contains everything we install there (and >> more). >> >> With this, Sage's GAP would be much closer to the upstream GAP, and >> packagers of Sage would be made happier too. >> >> As a part of the update to GAP 4.10, I've already merged database_gap >> into gap spkg on >> https://trac.sagemath.org/ticket/26856 >> >> Unless I hear well-motivated objections (no, don't tell me about big >> tarballs and increased by 3 minutes build time), I'll proceed with >> doing the same to gap_packages. >> >> Dima >> >> -- >> 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. >> Visit this group at https://groups.google.com/group/sage-devel. >> For more options, visit https://groups.google.com/d/optout. >> > -- > 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. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Real algebraic varieties
On Sat, Dec 15, 2018 at 6:25 PM Thierry wrote: > > On Sat, Dec 15, 2018 at 05:58:57PM +, Dima Pasechnik wrote: > > On Sat, Dec 15, 2018 at 5:37 PM Thierry > > wrote: > > > > > > Hi, > > > > > > this question is related to the thread about Groebner bases. > > > > > > Are there some free-software implementations for real algebraic geometry > > > available somewhere ? Could Giac or Singular help with that ? Or maybe > > > Reduce or Macaulay2 (that are not shipped with Sage) ? > > > > > > More precisely, suppose i have a polynomial system of equations over QQ, > > > whose dimension (as the complex variety of an ideal) is positive. But i > > > know that the number of *real* solutions is finite. How to list them in > > > Sage ? I can easily get its Groebner basis, but not its real variety. > > > > If I am not mistaken (then what I propose is more of an heuristic), in > > such a case the real points are all on the singular locus of your > > variety. > > Thanks for you answer. > > Does Sage computes that locus easily ? not sure; theory for computing the singular locus is described in Sect 5.7 of "Singular introduction to commutative algebra", with Singular code how to do it - one need equidimensional components, and then minors of certain sizes of the Jacobian matrix will give you their singular loci. > > Ciao, > Thierry > > > > Compute it, hopefully it is 0-dimensional (otherwise, repeat), and > > select real points among all the points. > > > > > > > > > > RAGlib [1] seems to do that using Groebner bases, but it is a Maple^TM > > > package. > > > > > > The only thing i found within Sage is qepcad, but it is not powerful > > > enough to return anything. > > > > > > Ciao, > > > Thierry > > > > > > [1] https://www-polsys.lip6.fr/~safey/RAGLib/ > > > > > > -- > > > 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. > > > Visit this group at https://groups.google.com/group/sage-devel. > > > For more options, visit https://groups.google.com/d/optout. > > > > -- > > 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. > > Visit this group at https://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > -- > 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. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Real algebraic varieties
On Sat, Dec 15, 2018 at 05:58:57PM +, Dima Pasechnik wrote: > On Sat, Dec 15, 2018 at 5:37 PM Thierry > wrote: > > > > Hi, > > > > this question is related to the thread about Groebner bases. > > > > Are there some free-software implementations for real algebraic geometry > > available somewhere ? Could Giac or Singular help with that ? Or maybe > > Reduce or Macaulay2 (that are not shipped with Sage) ? > > > > More precisely, suppose i have a polynomial system of equations over QQ, > > whose dimension (as the complex variety of an ideal) is positive. But i > > know that the number of *real* solutions is finite. How to list them in > > Sage ? I can easily get its Groebner basis, but not its real variety. > > If I am not mistaken (then what I propose is more of an heuristic), in > such a case the real points are all on the singular locus of your > variety. Thanks for you answer. Does Sage computes that locus easily ? Ciao, Thierry > Compute it, hopefully it is 0-dimensional (otherwise, repeat), and > select real points among all the points. > > > > > > RAGlib [1] seems to do that using Groebner bases, but it is a Maple^TM > > package. > > > > The only thing i found within Sage is qepcad, but it is not powerful > > enough to return anything. > > > > Ciao, > > Thierry > > > > [1] https://www-polsys.lip6.fr/~safey/RAGLib/ > > > > -- > > 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. > > Visit this group at https://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > -- > 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. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Real algebraic varieties
On Sat, Dec 15, 2018 at 5:37 PM Thierry wrote: > > Hi, > > this question is related to the thread about Groebner bases. > > Are there some free-software implementations for real algebraic geometry > available somewhere ? Could Giac or Singular help with that ? Or maybe > Reduce or Macaulay2 (that are not shipped with Sage) ? > > More precisely, suppose i have a polynomial system of equations over QQ, > whose dimension (as the complex variety of an ideal) is positive. But i > know that the number of *real* solutions is finite. How to list them in > Sage ? I can easily get its Groebner basis, but not its real variety. If I am not mistaken (then what I propose is more of an heuristic), in such a case the real points are all on the singular locus of your variety. Compute it, hopefully it is 0-dimensional (otherwise, repeat), and select real points among all the points. > > RAGlib [1] seems to do that using Groebner bases, but it is a Maple^TM > package. > > The only thing i found within Sage is qepcad, but it is not powerful > enough to return anything. > > Ciao, > Thierry > > [1] https://www-polsys.lip6.fr/~safey/RAGLib/ > > -- > 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. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Real algebraic varieties
Hi, this question is related to the thread about Groebner bases. Are there some free-software implementations for real algebraic geometry available somewhere ? Could Giac or Singular help with that ? Or maybe Reduce or Macaulay2 (that are not shipped with Sage) ? More precisely, suppose i have a polynomial system of equations over QQ, whose dimension (as the complex variety of an ideal) is positive. But i know that the number of *real* solutions is finite. How to list them in Sage ? I can easily get its Groebner basis, but not its real variety. RAGlib [1] seems to do that using Groebner bases, but it is a Maple^TM package. The only thing i found within Sage is qepcad, but it is not powerful enough to return anything. Ciao, Thierry [1] https://www-polsys.lip6.fr/~safey/RAGLib/ -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)
Bill, my feeling is that part of ODK money was used to improve multivariate polynomial arithmetic implementations precisely in a domain where Giac behaves well (and maybe I should emphasize that unlike almost all other CAS, Giac is a library, i.e. is interoperable with any software that can interact with a C++ library). Despite that, ODK ignores Giac. Well, I'm not sure it's the right place to discuss that, and anyway past is the past. Now that I made the effort to fine tune my gbasis code, it behaves very well on Q on multi-CPUs architectures. We'll see if there is more interest or not. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)
On Saturday, 15 December 2018 17:10:10 UTC+1, Bill Hart wrote: > > > > On Sunday, 9 December 2018 11:22:48 UTC+1, Dima Pasechnik wrote: > > > > I cannot comment on why certain implementations did not use Giac code, >> I am not involved in this work. >> > > I am involved in that, > I should probably rather say, I was paid by ODK to write the original implementation of our code, but we now have a different person paid by ODK to (exceedingly capably) do that work. I now serve only an advisory role. Of course I maintain an active interest; my day-to-day job is something else entirely. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)
On Sunday, 9 December 2018 11:22:48 UTC+1, Dima Pasechnik wrote: I cannot comment on why certain implementations did not use Giac code, > I am not involved in this work. > I am involved in that, but I believe there may be some misconceptions here. The implementations we are doing for ODK are not for Groebner bases. However, the group I work for, who develop the system our code will contribute to, has been involved in GB computation for something like thirty years. Our work on GB's, which is not funded by ODK, is ongoing work for that entire period. As for polynomial arithmetic for applications other than GBs, that work builds on two separate projects that have been ongoing in one form or another since late 2006 in the one case and for some decades in the other case. Integration with those code bases is desirable for a number of reasons. Bernard, if you have the impression that ODK went out looking for a polynomial library to use then you have the wrong impression. ODK is not a CAS, it's a toolbox. Giac could be part of that toolbox just as easily as any of the other tools developed in Europe, so long as it was designed to integrate with that toolbox. ODK is ultimately about exposing tools to a VRE and making those tools usable for researchers building their own VRE's. Here is not the place for me to spell out the specific goals we have for the polynomial arithmetic we are implementing for ODK, but usability, flexibility, maintainability, testing, documentation, performance and exposure to a VRE all feature heavily in the feature set we've targeted. Note that the code we are developing is part of the HPC subproject of ODK. You can find information about the whole project, including the explicit subtasks we are contributing to, by digging into the OpenDreamKit website and GitHub repositories. Absolutely *everything* is fully public and accessible, from the initial grant proposal (even the drafts, I believe), through our meetings, goals, funding, performance indicators, through our code and dissemination. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] convert all of Sage library code to libgap
I have opened #26902: convert all of Sage library code to libgap. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: A Sage interface for FGb (Gröbner bases)
On Friday, 7 December 2018 21:41:41 UTC+1, Markus Wageringel wrote: > > Am Freitag, 7. Dezember 2018 13:07:45 UTC+1 schrieb Bill Hart: >> >> How many physical cores do you have on the machine (not logical cores), >> and how many CPU sockets and what is the cache structure? (I assume it is >> at least 16 physical cores, but I'm asking more because this sort of thing >> often happens because of shared caches.) >> > > It has 2 CPU sockets, each having 8 physical cores with 2 threads each. As > for the cache: > > L1d cache: 32K > L1i cache: 32K > L2 cache: 256K > L3 cache: 20480K > > Does this answer the question? Also, here is a specification: > https://ark.intel.com/products/64584/Intel-Xeon-Processor-E5-2660-20M-Cache-2-20-GHz-8-00-GT-s-Intel-QPI- > I don't know for sure, but it looks like it has a shared L3 cache across many cores in each socket. I wouldn't be terribly surprised if this was relevant. Of course, only an extended effort with many timings could confirm this for sure. -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] merging gap_packages and database_gap spkgs into gap spkg
+1 On 15 Dec 2018 10:09, "Dima Pasechnik" wrote: > The present design with two optional packages gap_packages and > database_gap was dictated in the 1st place by copyright issues with > their contents, preventing them from being standard. > > Since GAP release 4.9, all these issues have been resolved upstream, > and I propose these spkgs to be merged into the standard GAP spkg. The > upstream GAP tarball already contains everything we install there (and > more). > > With this, Sage's GAP would be much closer to the upstream GAP, and > packagers of Sage would be made happier too. > > As a part of the update to GAP 4.10, I've already merged database_gap > into gap spkg on > https://trac.sagemath.org/ticket/26856 > > Unless I hear well-motivated objections (no, don't tell me about big > tarballs and increased by 3 minutes build time), I'll proceed with > doing the same to gap_packages. > > Dima > > -- > 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. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] merging gap_packages and database_gap spkgs into gap spkg
The present design with two optional packages gap_packages and database_gap was dictated in the 1st place by copyright issues with their contents, preventing them from being standard. Since GAP release 4.9, all these issues have been resolved upstream, and I propose these spkgs to be merged into the standard GAP spkg. The upstream GAP tarball already contains everything we install there (and more). With this, Sage's GAP would be much closer to the upstream GAP, and packagers of Sage would be made happier too. As a part of the update to GAP 4.10, I've already merged database_gap into gap spkg on https://trac.sagemath.org/ticket/26856 Unless I hear well-motivated objections (no, don't tell me about big tarballs and increased by 3 minutes build time), I'll proceed with doing the same to gap_packages. Dima -- 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. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Cannot run Sagemath session in Texmacs on Linux
this does not look like a Sage issue, rather like an texmacs issue. On Sat, Dec 15, 2018 at 3:26 AM Amir Zia wrote: > > I have another problem with texmacs: > > I open multiple documents and then: When the document is saved and then > closed, I do not get this warning...When the document is unsaved and then > closed, I do get this warning...How do I fix/remove this warning ? here is a > photo of it: > > > https://ibb.co/M1C8VkW > > > > On Friday, December 14, 2018 at 8:43:33 PM UTC-5, Amir Zia wrote: >> >> You are correct, i installed everything all over again and used the github >> plugin and now it works perfectly...thanks for mentioning it >> >> On Friday, December 14, 2018 at 6:41:45 AM UTC-5, E. Madison Bray wrote: >>> >>> On Fri, Dec 14, 2018 at 12:35 PM E. Madison Bray wrote: >>> > >>> > On Fri, Dec 14, 2018 at 11:29 AM E. Madison Bray >>> > wrote: >>> > > >>> > > On Fri, Dec 14, 2018 at 4:04 AM Amir Zia wrote: >>> > > > >>> > > > >>> > > > >>> > > > On Thursday, December 13, 2018 at 9:05:51 PM UTC-5, Amir Zia wrote: >>> > > >> >>> > > >> >>> > > >> >>> > > >> On Thursday, December 13, 2018 at 8:38:45 PM UTC-5, Samuel Lelievre >>> > > >> wrote: >>> > > >>> >>> > > >>> Fri 2018-12-14 01:53 UTC+1, Amir Zia: >>> > > >>> > >>> > > >>> > Ubuntu 18.04 >>> > > >>> > Sagemath 8.1-7 >>> > > >>> > Texmacs 1.99.8 >>> > > >>> > the plugin is downloaded from this page around 3 hours ago: >>> > > >>> > https://wiki.sagemath.org/TeXmacs?action=AttachFile=view=texmacs-sage.tar.gz >>> > > >>> >>> > > >>> Oh, that wiki page is very out of date (we should add a >>> > > >>> warning there about that). Get the up-to-date plugin from >>> > > >>> >>> > > >>> https://github.com/texmacs/SageMath.tm >>> > > >> >>> > > >> >>> > > >> >>> > > >> >>> > > >> >>> > > >> I downloaded the bin & doc & progs then put them in a folder called >>> > > >> sage and then copies the folder into $HOME/.TeXmacs/plugins/ ... I >>> > > >> did this because git would give me errors... >>> > > >> >>> > > >> I still get the second error mentioned in the first post >>> > > >> >>> > > >> Did I install it properly ? >>> > > > >>> > > > >>> > > > >>> > > > >>> > > > OK I found a solution Here is what I did to get it to work, >>> > > > Hopefully others with the same problem can be helped: >>> > > > >>> > > > (1) Install sagemath. >>> > > > >>> > > > (2) Install Texmacs. >>> > > > >>> > > > (3) Find where sage is : "which sage" usually it is at /usr/bin/sage >>> > > > >>> > > > (4) sudo ln -s /usr/bin/sage /usr/local/bin/ >>> > > > >>> > > > (5) sudo -H nautilus >>> > > > >>> > > > (6) go to /usr/share/sagemath/bin/ and copy the content into >>> > > > /usr/local/bin/ >>> > > >>> > > Just for the record, in case anyone else finds this, that all sounds >>> > > like a bad idea to be honest. Without being able to see your system >>> > > or know exactly what you did, it's hard to say what the "right" >>> > > solution would be, but there's no *good* reason to be copying files >>> > > around your filesystem like this without really knowing why. >>> > > >>> > > This sounds like more of a configuration issue, and not "some file >>> > > needs to be some specific place". >>> > > >>> > > (As an aside, you don't need to run nautilus just to copy files; you >>> > > can do this from the command-line shell with the `cp -R` command :) >>> > > >>> > > I don't know anything about texmacs so I regret that I can't offer a >>> > > "better" solution. All I'm saying is please don't do this, as it's >>> > > just likely to break more things for you later. >>> > >>> > FWIW, I made an Ubuntu 18.04 container just to see what's going on >>> > with the sagemath 8.1-7 package on there. I can't install Texmacs >>> > since I don't have an X server. But it occurs to me from your >>> > original message that you were getting some error from some >>> > /usr/local/bin/sage, and I think that's your problem in the first >>> > place. >>> > >>> > The directory /usr/local/ is reserved for software that has been >>> > manually installed system-wide, without management from your system's >>> > package manager. The Ubuntu package for sagemath 8.1 doesn't put >>> > anything there (nor should it). The only way you would have some >>> > /usr/local/bin/sage is if you or someone else put it there yourself at >>> > some point. And it's broken because it's looking for a >>> > /usr/local/bin/sage-env (the sage launcher script typically looks for >>> > this file relative to its own location) which doesn't exist. >>> >>> I should read more carefully. You already wrote: >>> >>> "then I realized I should add sage to $PATH, So this is what I did: >>> >>> which sage >>> >>> Output: /usr/bin/sage >>> >>> sudo ln -s /usr/bin/sage /usr/local/bin/" >>> >>> So you made that symlink yourself, and that's where the problems >>> started. /usr/bin should already be on your $PATH or else most of >>> your system wouldn't be working in the first place. I don't think >>> this was your