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

2017-04-01 Thread Vincent Delecroix 

Indeed, I also discovered Fokko DuCloux' Coxeter this morning

http://math.univ-lyon1.fr/~ducloux/coxeter/coxeter3/french/coxeter3_f.html

Vincent

On 01/04/2017 13:01, Thierry Dumont wrote:

I dont have any culture on Coxeter groups, but a colleague of mine,
the late Fokko DuCloux developed Coxeter3, an optional  package for
sage, and we try to maintain it, from one version to an other.

-> Does your code as something to do with what this package computes?
-> Could it be an extension of coxeter3 ?
-> ...

Yours
t.d.


Le 31/03/2017 à 14:03, mmarco a écrit :

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
provide the ability to compute certain properties that are not available
in Sage already (or maybe a faster implementation of already available
ones). In that case, you could add CoxIter as an optional package (we
usually require packages to be optional for one year before becoming
standard), and also write an interface to it from Sage, together with
the corresponding methods in CoxeterGroup class to call that interface.
The interface can be done using pexpect, but if it is possible to adapt
your software as a C++ library, it would be much faster to just call it
through cython. I recommend to do all these steps in one ticket.


If you want to take a look at an example of a ticket where something
similar was done, you can look at:

https://trac.sagemath.org/ticket/20815

El viernes, 31 de marzo de 2017, 11:18:15 (UTC+2), Rafael Guglielmetti
escribió:

Dear sage developers,
During my PhD I developed a C++ program to compute invariants of
hyperbolic Coxeter groups.

The program was published in the LMS Journal of Computations and
Mathematics and is now on GitHub:
https://github.com/rgugliel/CoxIter


I am wondering if it could be included into SAGE? If yes, where
should I start?
I also developed a GAP package, maybe it could also be a way?

Thanks a lot for any hint.

Best,

Rafael Guglielmetti

--
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] Re: Computing invariants of hyperbolic Coxeter groups

2017-04-01 Thread Thierry Dumont 
I dont have any culture on Coxeter groups, but a colleague of mine,
the late Fokko DuCloux developed Coxeter3, an optional  package for
sage, and we try to maintain it, from one version to an other.

-> Does your code as something to do with what this package computes?
-> Could it be an extension of coxeter3 ?
-> ...

Yours
t.d.


Le 31/03/2017 à 14:03, mmarco a écrit :
> 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
> provide the ability to compute certain properties that are not available
> in Sage already (or maybe a faster implementation of already available
> ones). In that case, you could add CoxIter as an optional package (we
> usually require packages to be optional for one year before becoming
> standard), and also write an interface to it from Sage, together with
> the corresponding methods in CoxeterGroup class to call that interface.
> The interface can be done using pexpect, but if it is possible to adapt
> your software as a C++ library, it would be much faster to just call it
> through cython. I recommend to do all these steps in one ticket.
> 
> 
> If you want to take a look at an example of a ticket where something
> similar was done, you can look at: 
> 
> https://trac.sagemath.org/ticket/20815
> 
> El viernes, 31 de marzo de 2017, 11:18:15 (UTC+2), Rafael Guglielmetti
> escribió:
> 
> Dear sage developers,
> During my PhD I developed a C++ program to compute invariants of
> hyperbolic Coxeter groups.
> 
> The program was published in the LMS Journal of Computations and
> Mathematics and is now on GitHub:
> https://github.com/rgugliel/CoxIter
> 
> 
> I am wondering if it could be included into SAGE? If yes, where
> should I start?
> I also developed a GAP package, maybe it could also be a way?
> 
> Thanks a lot for any hint.
> 
> Best,
> 
> Rafael Guglielmetti
> 
> -- 
> 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] Re: Computing invariants of hyperbolic Coxeter groups

2017-04-01 Thread Rafael Guglielmetti 
Dear Travis, mmarco,
Thank you for your answers. I will have a look to the provided links and 
the documentation and think more about that.

Best,

Rafael

Le vendredi 31 mars 2017 11:18:15 UTC+2, Rafael Guglielmetti a écrit :
>
> Dear sage developers,
> During my PhD I developed a C++ program to compute invariants of 
> hyperbolic Coxeter groups.
>
> The program was published in the LMS Journal of Computations and 
> Mathematics and is now on GitHub: https://github.com/rgugliel/CoxIter
>
> I am wondering if it could be included into SAGE? If yes, where should I 
> start?
> I also developed a GAP package, maybe it could also be a way?
>
> Thanks a lot for any hint.
>
> Best,
>
> Rafael Guglielmetti
>

-- 
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: Computing invariants of hyperbolic Coxeter groups

2017-03-31 Thread Travis Scrimshaw 
I am interested in Coxeter groups and have worked quite a bit on them in 
Sage. So feel free to cc me on the eventual ticket ("tscrim") and/or e-mail 
me if you have any questions if you don't want to post here.

As Miguel said, you should consider including this as an optional spkg or 
including your GAP package in the optional Sage spkg gap_packages (see 
https://trac.sagemath.org/ticket/13426 for some current proposed changes).

I have wanted to do some more specific things for hyperbolic types for 
awhile, but I haven't had the time to do so. However, there are definitely 
some easy things that can be done to incorporate you package into Sage.

Best,
Travis

On Friday, March 31, 2017 at 7:03:49 AM UTC-5, mmarco wrote:
>
> 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 provide 
> the ability to compute certain properties that are not available in Sage 
> already (or maybe a faster implementation of already available ones). In 
> that case, you could add CoxIter as an optional package (we usually require 
> packages to be optional for one year before becoming standard), and also 
> write an interface to it from Sage, together with the corresponding methods 
> in CoxeterGroup class to call that interface. The interface can be done 
> using pexpect, but if it is possible to adapt your software as a C++ 
> library, it would be much faster to just call it through cython. I 
> recommend to do all these steps in one ticket.
>
>
> If you want to take a look at an example of a ticket where something 
> similar was done, you can look at: 
>
> https://trac.sagemath.org/ticket/20815
>
> El viernes, 31 de marzo de 2017, 11:18:15 (UTC+2), Rafael Guglielmetti 
> escribió:
>>
>> Dear sage developers,
>> During my PhD I developed a C++ program to compute invariants of 
>> hyperbolic Coxeter groups.
>>
>> The program was published in the LMS Journal of Computations and 
>> Mathematics and is now on GitHub: https://github.com/rgugliel/CoxIter
>>
>> I am wondering if it could be included into SAGE? If yes, where should I 
>> start?
>> I also developed a GAP package, maybe it could also be a way?
>>
>> Thanks a lot for any hint.
>>
>> Best,
>>
>> Rafael Guglielmetti
>>
>

-- 
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: 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 provide 
the ability to compute certain properties that are not available in Sage 
already (or maybe a faster implementation of already available ones). In 
that case, you could add CoxIter as an optional package (we usually require 
packages to be optional for one year before becoming standard), and also 
write an interface to it from Sage, together with the corresponding methods 
in CoxeterGroup class to call that interface. The interface can be done 
using pexpect, but if it is possible to adapt your software as a C++ 
library, it would be much faster to just call it through cython. I 
recommend to do all these steps in one ticket.


If you want to take a look at an example of a ticket where something 
similar was done, you can look at: 

https://trac.sagemath.org/ticket/20815

El viernes, 31 de marzo de 2017, 11:18:15 (UTC+2), Rafael Guglielmetti 
escribió:
>
> Dear sage developers,
> During my PhD I developed a C++ program to compute invariants of 
> hyperbolic Coxeter groups.
>
> The program was published in the LMS Journal of Computations and 
> Mathematics and is now on GitHub: https://github.com/rgugliel/CoxIter
>
> I am wondering if it could be included into SAGE? If yes, where should I 
> start?
> I also developed a GAP package, maybe it could also be a way?
>
> Thanks a lot for any hint.
>
> Best,
>
> Rafael Guglielmetti
>

-- 
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.