[sage-devel] Build a FreeModule with a step by step construction...

2010-03-17 Thread Nicolas Borie
Hello, As often in algebraic combinatoric, I compute very very huge FreeModule/VectorSpace... Let's me give some examples : - I have a Matrix algebra (Hecke like) defined by a set of 5 matrices of size factorial(5)*factorial(5) and I want to get a basis this algebra as a VectorSpace over Q. For t

[sage-devel] Name for NonNegativeIntegers

2010-05-31 Thread Nicolas Borie
Hello all! I have a language question: which one of the following is the correct name for the semiring of non-negative integers: - NonNegativeIntegerSemiring - NonNegativeIntegersSemiring On IRC, Tim suggested : (12:15:44) nborie: English Language question : we say Integer Ring, not Integers R

[sage-devel] Re: Iterators for various structures

2010-08-02 Thread Nicolas Borie
Hello, I put a message on the trac 8361... I still work on the SearchForest feature (and rebase it because it no longer worked with 4.5.2). But it is definitely right that an iterator of IntergerVectors doesn't deserve to use the SearchForest engine (SearchForest is only adapted for poor tree-lik

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

2012-01-22 Thread Nicolas Borie
Checking the TestSuite is an excellent way to verify you correctly use the category framework. (necessary but not sufficient) This was just a small tour about the categories and some expert will probably tell better advises than me. Also sorry for my English. Cheers, Nicolas Bori

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

2012-01-23 Thread Nicolas Borie
Le lundi 23 janvier 2012 à 03:58 -0800, Dima Pasechnik a écrit : > Given that Chevie needs Maple, it can be regarded as "highly > optional". Hello Dima, If you are a Chevie lover, you can already have it in Sage in a fully open-source way. As Jean pointed out, Chevie is also a GAP'3' <-- package

Re: [sage-devel] Re: Coxter Groups

2011-07-25 Thread Nicolas Borie
Le dimanche 24 juillet 2011 à 15:38 -0700, Dima Pasechnik a écrit : > On Sunday, 24 July 2011 22:37:05 UTC+1, Rafael T wrote: > > The gap-system already has the ability to work with Coxeter > groups: > http://www.gap-system.org/Gap3/Manual3/C075S005.htm Maybe I >

Re: [sage-devel] where to put Sidon g-sets?

2011-07-25 Thread Nicolas Borie
Le lundi 25 juillet 2011 à 04:47 -0700, Martin Raum a écrit : > Hello all, Hello Martin, > I happened to think about Sidon g-sets and to do some computations I > implemented a recursive enumeration of such sets. Clearly, this would > go into the combinatorics tree. I am not an expert in combinato

Re: [sage-devel] Re: Matrix groups from GAP

2012-07-19 Thread Nicolas Borie
Le 19/07/2012 11:17, Simon King a écrit : Hi! On 2012-07-19, Dima Pasechnik wrote: let me nitpick first by saying that in group theory=20 "presentation" means "presentation by generators and relations" whereas you mean a (linear) "representation". In this way of thinking, the most compact way

Re: [sage-devel] Re: SearchForest and post_process...

2012-10-10 Thread Nicolas Borie
Le 10/10/2012 15:53, Simon King a écrit : Why not "RecursiveSet"? The word "Generated" seems redundant to me. And what you tell about the role of "post_process" makes me think it could be renamed into "branch_cut". Best regards, Simon Hello, The post_process hardly depend on a fonction (plac

[sage-devel] Inverse a matrix over a ring with a unit determinant

2013-07-10 Thread Nicolas Borie
ng in my code too hardly, that's still draft code which hasn't been readed by a native speaker... Cheers, Nicolas Borie. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails

Re: [sage-devel] Inverse a matrix over a ring with a unit determinant

2013-07-10 Thread Nicolas Borie
0 s[] 0 0] [ 0 0 0 0 s[] 0] [ 0 0 0 0 0 s[]] sage: Id._charpoly_df() s[]*x^6 - 6*s[]*x^5 + 15*s[]*x^4 - 20*s[]*x^3 + 15*s[]*x^2 - 6*s[]*x + s[] sage: Id.charpoly() Traceback (most recent call last): ... ValueError: ['x'] is not an element of Partitions ****

Re: [sage-devel] Re: Should ClasscallMetaclass do a consistency test?

2013-07-30 Thread Nicolas Borie
Le 30/07/2013 14:18, Simon King a écrit : Hi all, I determined all classes-with-ClasscallMetaclass that sometimes return instances that are not instances of this class: ... sage.combinat.integer_vectors_mod_permgroup.IntegerVectorsModPermutationGroup ... What do you think? These are relativ

Re: [sage-devel] Should Ring.sum([...]) behave well if the ...'s are not in Ring?

2013-12-02 Thread Nicolas Borie
On 02/12/2013 20:34, Darij Grinberg wrote: Hi, Is the following a case of refused bequest? (If you don't know much about symmetric functions, it should be enough to know that p and s are two free modules with coercions between them.) sage: Sym = SymmetricFunctions(QQ) sage: p = Sym.p() sage: s

Re: [sage-devel] Re: Building Sage fails on Lubuntu 14

2014-09-07 Thread Nicolas Borie
Le 07/09/2014 13:31, Volker Braun a écrit : I would recommend that you try to compile the latest version from source. Hello, On Lubuntu 64 bits (up to date), When trying to compile the 6.3 from sources, I just got : real13m9.547s user18m36.662s sys0m51.881s Successfully ins

Re: [sage-devel] What are we unable to do right now ?

2014-12-05 Thread Nicolas Borie
Hello, Computing the inverse of the identity matrix is not possible. Ok, it works for rings using RingElement class for the elements (like ZZ, QQ, RR, CC, ...). sage: SF = SymmetricFunctions(QQ).schur(); SF Symmetric Functions over Rational Field in the Schur basis sage: one = SF.one() sage:

Re: [sage-devel] Question about Free algebra

2015-06-09 Thread Nicolas Borie
Le 09/06/2015 06:50, Viviane Pons a écrit : Hi everyone, I'm doing this: sage: FreeA. = FreeAlgebra(QQ,implementation="letterplace") sage: P = a*b*a*c*c*b + a*b*a*d*d*b + a*c*a*d*d*c + b*c*b*d*d*c sage: X = P.lm() sage: X a*b*a*c*c*b And now I would like a way to "cut" my element X into two fa