[sage-devel] Re: GSoC projects
I think it would make more sense to wrap qepcad than to rewrite its functionality from scratch. Of course, SymPy doesn't follow the same approach as Sage, so i guess for them it makes sense to reinvent the wheel. El lunes, 23 de febrero de 2015, 17:13:38 (UTC+1), robert.pollak escribió: > > Am 13.02.2015 um 17:04 schrieb mmarco: > > Apperently there have been some movement on that aspect on sympy too: > > Yes, but unfortunately no GSoC students worked on this. They also have no > CAD yet, see > https://github.com/sympy/sympy/wiki/GSoC-2015-Ideas#cylindrical-algebraic-decomposition > > . > > -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: GSoC projects
Am 13.02.2015 um 17:04 schrieb mmarco: > Apperently there have been some movement on that aspect on sympy too: Yes, but unfortunately no GSoC students worked on this. They also have no CAD yet, see https://github.com/sympy/sympy/wiki/GSoC-2015-Ideas#cylindrical-algebraic-decomposition . -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: GSoC projects
On Wednesday, February 11, 2015 at 5:03:45 AM UTC+1, William wrote: > > Does anybody have any GSoC projects to add to ... > > Short update: Today is the proposal submission deadline. We are already set up for this. What still needs a little bit of further attention is the wiki page for project proposals. There are some without a mentor, and in particular, the iOS and Android app do not have anyone. Is there anybody capable of mentoring those? http://wiki.sagemath.org/GSoC/2015 Harald -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: GSoC projects
On Wednesday, February 11, 2015 at 5:03:45 AM UTC+1, William wrote: > > Does anybody have any GSoC projects to add to > > http://wiki.sagemath.org/GSoC/2015 I wanted to add this link to the wiki page: http://trac.sagemath.org/query?status=needs_info&status=needs_work&status=new&milestone=sage-wishlist&or&milestone=sage-feature&col=id&col=summary&col=status&col=type&col=priority&col=component&order=priority but couldn't recover my password or set a new one. That link lists all trac tickets in sage-feature and sage-wishlist that presumably aren't being worked on. This may be a good source for GSoC ideas. Regards, -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: GSoC projects
I saw it on Dima's webpage http://www.cs.ox.ac.uk/teaching/studentprojects/357.html But i don't know if it was actually proposed officially. Apperently there have been some movement on that aspect on sympy too: https://github.com/sympy/sympy/wiki/GSoC-2012-Application-Prateek-Papriwal:-Cylindrical-Algebraic-Decomposition https://github.com/sympy/sympy/wiki/GSoC-2012-Application-Sachin-Irukula:-Implementation-of-Quantifiers-and-Cylindrical-algebraic-decomposition-algorithm -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: GSoC projects
Am 11.02.2015 um 13:52 schrieb mmarco: > IIRC there was an old proposal about implementing semialgebraic sets. Hello Miguel, can you point me to this old proposal? I could not find it in the list archive and on the wiki. Robert -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: GSoC projects
Am 12.02.2015 um 15:08 schrieb Dima Pasechnik: >> "Add support for systems of rational inequalities". [...] > There was a mentioning of a bigger thing - computing with semialgebraic > sets, and then this topic would naturally become a part of such a project. Yes, my univariate case would fit into the "semialgebraic sets" topic Miguel Marco mentioned in this thread - sorry I didn't notice earlier. Robert -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: GSoC projects
On 2015-02-12, Robert Pollak wrote: > Am 11.02.2015 um 05:03 schrieb William Stein: >> Does anybody have any GSoC projects to add to >> >> http://wiki.sagemath.org/GSoC/2015 > > I hope it is suitable that I have added something there: > "Add support for systems of rational inequalities". it's about univariate rational inequalities, right? As such this isn't big enough for a whole GSoC project, IMHO. There was a mentioning of a bigger thing - computing with semialgebraic sets, and then this topic would naturally become a part of such a project. 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: GSoC projects
Am 11.02.2015 um 05:03 schrieb William Stein: > Does anybody have any GSoC projects to add to > > http://wiki.sagemath.org/GSoC/2015 I hope it is suitable that I have added something there: "Add support for systems of rational inequalities". BTW, is there a way to get notified per mail when this wiki page changes? I have put my mail address into the settings, but the "Subscribe User" in the "More Actions" menu is still greyed out. --Robert -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: GSoC projects
Dima pointed this out to me the other day but I haven't had time to add anything to it. I'm hoping to get to it this evening with an idea of adding a Game theory project :) Thanks, Vince On Wed Feb 11 2015 at 12:52:32 PM mmarco wrote: > IIRC there was an old proposal about implementing semialgebraic sets. It > would be nice to retake it. QEPCAD could be used to do much of the > heavylifting computations. I know a PhD student that plans to finish his > thesis this year and works on related concepts, i can ask him about his > availability. > > El miércoles, 11 de febrero de 2015, 13:30:10 (UTC+1), Dima Pasechnik > escribió: > >> On 2015-02-11, William Stein wrote: >> > Does anybody have any GSoC projects to add to >> > >> > http://wiki.sagemath.org/GSoC/2015 >> > >> > There were basically zero that involved actual mathematics, so I've >> > added two. One is relevant for quaternion algebras and another for >> > modular forms. >> > >> > Hey people -- you could use this to support a frickin' grad student >> > for the summer to get amazing deep useful mathematical code into >> > Sage?! >> >> as this just popped in, we can add a project to create an interface >> for CGAL in Sage... >> (yes, nowadays CGAL licence is mostly (L)GPL) >> >> 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 http://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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: GSoC projects
IIRC there was an old proposal about implementing semialgebraic sets. It would be nice to retake it. QEPCAD could be used to do much of the heavylifting computations. I know a PhD student that plans to finish his thesis this year and works on related concepts, i can ask him about his availability. El miércoles, 11 de febrero de 2015, 13:30:10 (UTC+1), Dima Pasechnik escribió: > > On 2015-02-11, William Stein > wrote: > > Does anybody have any GSoC projects to add to > > > > http://wiki.sagemath.org/GSoC/2015 > > > > There were basically zero that involved actual mathematics, so I've > > added two. One is relevant for quaternion algebras and another for > > modular forms. > > > > Hey people -- you could use this to support a frickin' grad student > > for the summer to get amazing deep useful mathematical code into > > Sage?! > > as this just popped in, we can add a project to create an interface > for CGAL in Sage... > (yes, nowadays CGAL licence is mostly (L)GPL) > > 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: GSoC projects
On 2015-02-11, William Stein wrote: > Does anybody have any GSoC projects to add to > > http://wiki.sagemath.org/GSoC/2015 > > There were basically zero that involved actual mathematics, so I've > added two. One is relevant for quaternion algebras and another for > modular forms. > > Hey people -- you could use this to support a frickin' grad student > for the summer to get amazing deep useful mathematical code into > Sage?! as this just popped in, we can add a project to create an interface for CGAL in Sage... (yes, nowadays CGAL licence is mostly (L)GPL) 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: GSoC projects
I'd be happy to mentor a project regarding sage.matroids. Last year's participant on my project canceled at the last minute, so I hope to have better luck this year! I'll update the project description as soon as the document goes up. --Stefan. On Thursday, January 30, 2014 4:18:42 AM UTC-5, Burcin Erocal wrote: > > Hi, > > the application period for the Google Summer of Code starts next week. > If we want to apply, we should have a project ideas list ready for > review by Google by February 14th. Here is last year's list: > > > https://docs.google.com/document/d/1ipzvwbhfujaubDe0QVO-V9JmmRcLZvitaeXh4r2WNqA/pub > > > Harald agreed to handle the application again this year. If there is > interest we should copy that document and start updating the project > descriptions. > > I could suggest some projects on symbolics and pynac, but we need more > mentors for an application. > > Anybody willing to mentor GSoC projects? Any project ideas? > > > For reference, this is page from the Python Software Foundation good > summary of the expectations from mentors and students: > > https://wiki.python.org/moin/SummerOfCode/Expectations > > > Cheers, > Burcin > -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
Re: [sage-devel] Re: GSoC projects
On 2014-01-30 14:54, Jean-Pierre Flori wrote: PARI 2.6.2 which should be an RC for PARI 2.7 should be out real soon, at least that's what was announced at the latest PARI workshop a few weeks ago, so we could begin packaging it. I created http://trac.sagemath.org/ticket/15767 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 to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
[sage-devel] Re: GSoC projects
On Thu, Jan 30, 2014 at 2:42 PM, Jean-Pierre Flori wrote: > Not sure what would better fit directly within Sage and in C libraries, > let's say FLINT. In general, based on the experience from the last years: If such a FLINT or Pari related project is of interest (i.e. there is at least one mentor for the theoretical aspects) there needs to be at least one mentor from the respective project (technical aspect, community interaction). If that is given, this could be a great project. Harald -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
Re: [sage-devel] Re: GSoC projects
On Thursday, January 30, 2014 2:44:10 PM UTC+1, John Cremona wrote: > > 1. We use pari's SEA for elliptic curves over prime fields. the next > version of pari, 2.7, is supposed to have point-counting over > non-prime fields. > Yes for elliptic curves PARI 2.7 will have SEA over non-prime field (I think there is some limitation which makes it unsuitable for small (but not so small) characteristic, don't really remember what), and fast canonical lift algorithms for small char (when X_0(N) has genus 0, and should have quite quickly the same when X_0(N)/W_N has genus 0 as well, maybe more later). PARI 2.6.2 which should be an RC for PARI 2.7 should be out real soon, at least that's what was announced at the latest PARI workshop a few weeks ago, so we could begin packaging it. > 2. There is also very good code out there for hyperelliptics, I think > by Sutherland. > There is hypellfrob by David Harvey which is awfully fast, but does not work for midly small characteristic when the genus is high. It's available in Sage, by the way some tickets enhancing the interface or related functions need review: #15148 and #11980. To circumvent the liumiataion of Harvey's algorithm, we would need an implementation of the plain Kedlaya algorithm and the char 2 variation by Denef Vercauteren. For non-prime field with moderate characteristic, we would also need some method using deformation theory. There is C code on top of FLINT (2.3) by Pancratz but it targets higher dimensional hypersurfaces. > > Do you need more general curves than that? > Nope. -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
Re: [sage-devel] Re: GSoC projects
1. We use pari's SEA for elliptic curves over prime fields. the next version of pari, 2.7, is supposed to have point-counting over non-prime fields. 2. There is also very good code out there for hyperelliptics, I think by Sutherland. Do you need more general curves than that? John On 30 January 2014 13:42, Jean-Pierre Flori wrote: > I'd like to have better point counting on curves over finite fields in Sage. > Not sure what would better fit directly within Sage and in C libraries, > let's say FLINT. > Not sure I can mentor someone, I'll gather some info about that. > > > On Thursday, January 30, 2014 1:45:18 PM UTC+1, mmarco wrote: >> >> >> I am tempted to make a poll bewteen the math instructors/researchers >> asking them what would they like to be improved in sage, and use that >> information for a project proposal. > > -- > 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 http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/groups/opt_out. -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
[sage-devel] Re: GSoC projects
I'd like to have better point counting on curves over finite fields in Sage. Not sure what would better fit directly within Sage and in C libraries, let's say FLINT. Not sure I can mentor someone, I'll gather some info about that. On Thursday, January 30, 2014 1:45:18 PM UTC+1, mmarco wrote: > > > I am tempted to make a poll bewteen the math instructors/researchers > asking them what would they like to be improved in sage, and use that > information for a project proposal. > -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
[sage-devel] Re: GSoC projects
I am tempted to make a poll bewteen the math instructors/researchers asking them what would they like to be improved in sage, and use that information for a project proposal. -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
[sage-devel] Re: GSoC projects
On Thu, Jan 30, 2014 at 10:18 AM, Burcin Erocal wrote: > If there is > interest we should copy that document and start updating the project > descriptions. Hi, thanks for posting this, I'll start working on the Sage application today. And yes, the most important aspect are project proposals and possible mentors. Harald -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
[sage-devel] Re: GSoC projects
I would like to mentor some projects this year again. The virtual machine GUI sounds like a good fit. -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.