Re: [sage-combinat-devel] Re: redesign combinatorial statistics

2014-05-29 Thread mmarco
Just to clarify, i wasn't thinking on sage sending a query to findstat, but 
performing the search locally (i.e. having findstat software included in 
Sage).

I don't know how findstat is implemented, so i don't know how wise that 
aproach would be. Does findstat relly on a big database that is enhanced 
with the new queries? Or does it compute every query from scratch?

El miércoles, 28 de mayo de 2014 10:01:07 UTC+2, Nathann Cohen escribió:
>
> > Would it be possible to include the findstat functionality in sage?
>
> It is possible to write the code, and desirable. As the Sage is 
> open-source, you are also welcome to give it a try if you need the feature. 
> Sage already queries the OEIS, though for FindStat you will probably have 
> to design some kind of protocol to transfer the combinatorial objects with 
> the website's owners. I am told that you can contact them at 
> in...@findstat.org .
>
> Nathann
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-combinat-devel] Re: redesign combinatorial statistics

2014-05-28 Thread mmarco
A slightly unrelated problem:

Would it be possible to include the findstat functionality in sage? That 
is, i have a bunch of pairs (permutation, number), then call the function 
findtsta on them, and get a list of possible ways that the numbers can me 
computed from the permutations. All inside sage, without need to go to the 
findstat webpage.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-combinat-devel] Re: How to solve this combinatorial problem in Sage?

2013-04-21 Thread mmarco
Maybe i am saying something stupid (i am used to geometric reasoning
in infinite fields, so maybe i am missing something important in this
setting) but, wouldn't a random linear combination of the rows of your
matrix have a high probability of having all the entries different
from zero?

The linear combinations that have some zero coefficient are the
intersections of the corresponding subspace with the coordinate
hyperplanes. That is, the set of "bad" linear combinations is a subset
of codimension 1. The generic elements of the subspace would not
belong to it.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.




[sage-combinat-devel] help wanted with braid groups

2012-06-07 Thread mmarco
I have been working on an implementation of braid groups for sage
(together with free and finitely presented groups). So far i have a
preliminary version (see ticket #12339). It is still not feature
complete and also very slow compared to cbraid[1], for example, but it
is usable.

In order to speed it up, i want to interface cbraid directly. But i
have no experience at all with c++ or python interfaces to external
libraries. Please can someone help me with it? For example, i would
need to write a function that takes an integer n and a list of
integers l (that represents a braid of n strands), and uses cbraid to
compute the left normal form. I have tried to do it directly with
ctypes, but i only got error messages.

Thanks in advance.

[1]http://code.google.com/p/cbraid/

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-combinat-devel+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sage-combinat-devel?hl=en.



[sage-combinat-devel] trac 12339, please review

2012-04-27 Thread mmarco
I have a first version of an implementation of free groups, finitely
presented groups and braid groups. For the moment there is a partial
list of the fatures:

-operation in free groups, finitely presented groups and braid groups
through gap.
-some gap functions are wrapped, such as abelian invariants, size, and
recover the symetric representation of a fp group (not that these two
operations may not end)
-Burau and Lawrence-Krammer-Bigelow representations of braids
-2d and 3d plotting of braids
-left normal form of braids

please share your thoughts.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-combinat-devel+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sage-combinat-devel?hl=en.



[sage-combinat-devel] Re: [sage-devel] Free groups, feedback wanted.

2012-02-21 Thread mmarco
I have updated ticket 12339. It now includes a basic implementation of
free groups and finitely presented groups. It has limited
functionality, and maybe not the best implementation, but it works.

Please test it and do any comments that you consider relevant.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-combinat-devel+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sage-combinat-devel?hl=en.



[sage-combinat-devel] Re: [sage-devel] Free groups, feedback wanted.

2012-02-21 Thread mmarco
I have updated ticket #12339. It includes a basic implementation of
free groups and finitely presented groups. It has limited features,
and maybe its not the best implementation possible, but it works.
Please test it and do any relevant comments.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-combinat-devel+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sage-combinat-devel?hl=en.