 24 Apr, 2014 1 commit


Peter Bruin authored

 22 Apr, 2014 25 commits


Volker Braun authored

Release Manager authored
A construction for TD(6,12) (needed for the general construction of BIBD with k=5) URL: http://trac.sagemath.org/15431 Reported by: ncohen Ticket author(s): Nathann Cohen Reviewer(s): Vincent Delecroix

Release Manager authored
Rotate transition labels by default so that they have the same orientation as their corresponding edges. This should lead to nicer pictures URL: http://trac.sagemath.org/16205 Reported by: cheuberg Ticket author(s): Clemens Heuberger Reviewer(s): Daniel Krenn

Release Manager authored
Previously, initial states were not taken into account. As the output is in tikz, the parameter choosing the direction of the arrow indicating the initial state follows tikz' notations. Thus, {{{initial_where}}} can be set to one of {{{"below"}}}, {{{"above"}}}, {{{"left"}}}, {{{"right"}}}. URL: http://trac.sagemath.org/16146 Reported by: cheuberg Ticket author(s): Clemens Heuberger Reviewer(s): Daniel Krenn

Release Manager authored
Currently, state labels are not typeset in LaTeX's math mode, but transition labels are. Furthermore, the default behaviour is to pipe the label through latex(), which by definition produces output suitable for math mode. Therefore, I consider this to be a bug and change the behaviour. This is an incompatible change; however, relying on the old behaviour will either make no difference (if the label was an integer or a string (this is protected by \text anyway)) or lead to an error when typesetting with tikz. While doing that, I also include a space after the comma in the coordinate tuples (PEP 8 probably does not apply to TeX code included in a docstring, but nevertheless ...). URL: http://trac.sagemath.org/16200 Reported by: cheuberg Ticket author(s): Clemens Heuberger Reviewer(s): Daniel Krenn

Release Manager authored
In order to illustrate the use of the version of {{{Transducer.cartesian_product}}} introduced in #16016 combined with the common transducers introduced in #16142, I added an additional example to the docstring of {{{Transducer.cartesian_product}}}. It computes the number of 11 blocks minus the number of 10 blocks over the alphabet [0, 1]. URL: http://trac.sagemath.org/16144 Reported by: cheuberg Ticket author(s): Clemens Heuberger Reviewer(s): Daniel Krenn

Release Manager authored
Trac #16142: transducers.add, transducers.sub, transducers.abs, transducer.operator: New common transducers In #16141, a class to collect common transducers was introduced. Here, we enhance this class by a few more transducers which are mainly meant to be used as readily available components in cartesian products and/or compositions. We introduce four more common transducers, {{{transducers.abs}}} realizing absolute value, {{{transducers.operator}}} realizing binary operations, {{{transducers.add}}}, {{{transducers.sub}}} realizing addition and subtraction and at the same time illustrating the use of {{{transducers.operator}}}. URL: http://trac.sagemath.org/16142 Reported by: cheuberg Ticket author(s): Clemens Heuberger, Daniel Krenn, Sara Kropf Reviewer(s): Daniel Krenn

Release Manager authored
This ticket is "inspired" by [http://ask.sagemath.org/question/2760 /productsinafreealgebra this ask.sagemath question]. 1. First, there should be an easy way to get the variables out of an expression in FreeAlgebra. Compare with the output of polynomial ring. {{{ sage: F.<x,y>=FreeAlgebra(ZZ) sage: g=4+3*x^7*y^10*x^13 sage: g.variables() # < Need this sage: h=g._FreeAlgebraElement__monomial_coefficients # This is what we need to do currently sage: h.items()[1][0]._element_list # and do more post processing on the output. [(0, 7), (1, 10), (0, 13)] # Compare with polynomial ring sage: F.<x,y> = PolynomialRing(ZZ) sage: g=4+3*x^7*y^10*x^13 sage: g.variables() (x, y) sage: g=4+3*x^7 sage: g.variables() (x,) }}} 2. The element `x^7*y^10*x^13` does not belong to the `FreeAlgebra` class once it is extracted from the expression. It belongs to `FreeMonoid`. I think the parent of it should be the same even after we extract it. {{{ sage: F.<x,y>=FreeAlgebra(ZZ) sage: g=4+3*x^7*y^10*x^13 sage: h=g._FreeAlgebraElement__monomial_coefficients sage: h {1: 4, x^7*y^10*x^13: 3} sage: hh = h.items()[1][0]; hh x^7*y^10*x^13 sage: hh.parent() Free monoid on 2 generators (x, y) }}} URL: http://trac.sagemath.org/14848 Reported by: ppurka Ticket author(s): Travis Scrimshaw Reviewer(s): Punarbasu Purkayastha

Travis Scrimshaw authored

Travis Scrimshaw authored

Release Manager authored
Currently, the maxima install process uses asdf to create a fasl file. This has caused problems in several situations already, most notably in sageongentoo. There I came up with a different approach, which doesn't use asdf but instead patches the maxima build instructions to emit the fasl along with the program. Essentially I duplicate the `c::build program` invocation and turn that duplicate into `c::buildfasl`. I guess doing so might be beneficial to sage as well. I'll create this ticket here then start working on a branch which includes my approach. References: * [https://github.com/cschwan/sageongentoo/issues/226 sageongentoo ticket 226] with detailed analysis of the problems encountered * [https://bugs.gentoo.org/show_bug.cgi?id=499634 Gentoo ticket 499634] which resulted in the inclusion of my approach into the maxima ebuild for Gentoo * comment:48:ticket:14636 mentioned the sageongentoo approach, and there was some interest in getting this into sage itself as well URL: http://trac.sagemath.org/16178 Reported by: gagern Ticket author(s): Martin von Gagern Reviewer(s): François Bissey

Release Manager authored
The following change_var method for polynomials rings is quite convenient: {{{ sage: P = PolynomialRing(QQ, 'x'); P Univariate Polynomial Ring in x over Rational Field sage: P.change_var('y') Univariate Polynomial Ring in y over Rational Field }}} But power series rings don't have this functionality. URL: http://trac.sagemath.org/14799 Reported by: robharron Ticket author(s): Amit Jamadagni Reviewer(s): Ralf Stephan

Release Manager authored
Instead of always fixing all checksums of files in `$SAGE_ROOT/upstream/*.tar*`, allow the tarballs to be specified via commandline arguments. Also support the command `sha1sum` (which might be available when `shasum` is not). URL: http://trac.sagemath.org/15641 Reported by: jdemeyer Ticket author(s): Jeroen Demeyer Reviewer(s): Nathann Cohen

Release Manager authored
As discussed in https://groups.google.com/forum/?hl=en#!topic/sagedevel/jopuoWO1Fvk clear documentation on the procedure is missing. URL: http://trac.sagemath.org/16048 Reported by: rws Ticket author(s): Ralf Stephan, Vincent Delecroix Reviewer(s): R. Andrew Ohanar, Jeroen Demeyer, Vincent Delecroix, Ralf Stephan

Release Manager authored
Replace {{{\verb}}} by {{{\texttt}}} in the docstring to mirror the change in the code introduced in #14382. URL: http://trac.sagemath.org/16195 Reported by: cheuberg Ticket author(s): Clemens Heuberger Reviewer(s): John Palmieri

Release Manager authored
The graphs docs fail to build with !TeXlive 2013, but work with !TeXlive 2012: {{{ ! You can't use `\spacefactor' in math mode. \@>\spacefactor \@m l.44995 $\LaTeX $ and TikZ, and can be obtained from Sage through the \code{v... ? ! Emergency stop. \@>\spacefactor \@m l.44995 $\LaTeX $ and TikZ, and can be obtained from Sage through the \code{v... ! ==> Fatal error occurred, no output PDF file produced! Transcript written on graphs.log. }}} AFAIK `\LaTeX` is a text mode command so putting it in math mode need not work. URL: http://trac.sagemath.org/16153 Reported by: vbraun Ticket author(s): Volker Braun Reviewer(s): Nathann Cohen

Travis Scrimshaw authored
 Added smarter quotient method to FreeAlgebra.  Made has_standard_involution fail more gracefully.

Nathann Cohen authored

Clemens Heuberger authored

Nathann Cohen authored

Daniel Krenn authored

Ralf Stephan authored

Vincent Delecroix authored

Vincent Delecroix authored

Ralf Stephan authored

 21 Apr, 2014 9 commits


Clemens Heuberger authored
Resolved Conflicts: src/sage/combinat/finite_state_machine.py

Clemens Heuberger authored

Clemens Heuberger authored
Resolved Conflicts: src/sage/combinat/finite_state_machine.py

Clemens Heuberger authored
Currently, state labels are not typeset in LaTeX's math mode, but transition labels are. Furthermore, the default behaviour is to pipe the label through latex(), which by definition produces output suitable for math mode. Therefore, I consider this to be a bug and change the behaviour. This is an incompatible change; however, relying on the old behaviour will either make no difference (if the label was an integer or a string (this is protected by \text anyway)) or lead to an error when typesetting with tikz. While doing that, I also include a space after the comma in the coordinate tuples (PEP 8 probably does not apply to TeX code included in a docstring, but nevertheless ...).

Martin von Gagern authored
Git has all the details now.

Clemens Heuberger authored

Release Manager authored
Dirichlet groups use a generic dictionary to cache objects (instead of UniqueRepresentation or UniqueFactory). This ticket replaces this generic cache with a UniqueFactory implementation. URL: http://trac.sagemath.org/15898 Reported by: saraedum Ticket author(s): Julian Rueth Reviewer(s): Peter Bruin

git://trac.sagemath.org/sagePeter Bruin authored
Merge branch 'u/saraedum/ticket/15898' of git://trac.sagemath.org/sage into ticket/15898DirichletGroup_unique Conflicts: src/sage/modular/dirichlet.py

Clemens Heuberger authored

 20 Apr, 2014 3 commits


Release Manager authored
{{{ sage: NSym = NonCommutativeSymmetricFunctions(QQ) sage: NSym.inject_shorthands() Injecting S as shorthand for NonCommutative Symmetric Functions over the Rational Field in the Complete basis   KeyError Traceback (most recent call last) <ipythoninput2458277a04544> in <module>() > 1 NSym.inject_shorthands() /home/darij/gitsage6.2/local/lib/python2.7/site packages/sage/categories/sets_cat.pyc in inject_shorthands(self, verbose) 1318 if verbose: 1319 print 'Injecting %s as shorthand for %s'%(shorthand, realization) > 1320 inject_variable(shorthand, realization) 1321 1322 def realizations(self): /home/darij/gitsage6.2/local/lib/python2.7/site packages/sage/misc/misc.pyc in inject_variable(name, value) 2356 # inject_variable is called not only from the interpreter, but 2357 # also from functions in various modules. > 2358 G = get_main_globals() 2359 if name in G: 2360 warn("redefining global value `%s`"%name, RuntimeWarning, stacklevel = 2) /home/darij/gitsage6.2/local/lib/python2.7/site packages/sage/misc/misc.pyc in get_main_globals() 2312 while True: 2313 G = sys._getframe(depth).f_globals > 2314 if G["__name__"] == "__main__" and G["__package__"] is None: 2315 break 2316 depth += 1 KeyError: '__package__' }}} Same for Sym and QSym. The `get_main_globals` method hasn't been changed since 2011, so I suspect something else is at fault. The attached branch gets rid of the bug, but I don't understand the code at hand and so it is not really mergeready. Needs_review is to increase visibility. URL: http://trac.sagemath.org/16181 Reported by: darij Ticket author(s): Darij Grinberg Reviewer(s): Travis Scrimshaw

Release Manager authored
Because it will be handy to normalize and/or ignore arguments for these functions and method. See #1314 for an example. URL: http://trac.sagemath.org/15657 Reported by: tscrim Ticket author(s): Julian Rueth Reviewer(s): Travis Scrimshaw

Release Manager authored
One can calculate factorials of RIFElements with {{{ sage: factorial(RIF(2.3,5.7)) 1.?e3 }}} but calling it by {{{ sage: (RIF(2.3,5.7)).factorial() Traceback (click to the left of this block for traceback) ... AttributeError: 'sage.rings.real_mpfi.RealIntervalFieldElement' object has no attribute 'factorial' }}} does not work. This is in contrast to {{{.log()}}}, {{{.sqrt()}}}, etc., where it works. URL: http://trac.sagemath.org/15003 Reported by: dkrenn Ticket author(s): Amit Jamadagni, Jeroen Demeyer Reviewer(s): Ralf Stephan, Jeroen Demeyer

 19 Apr, 2014 2 commits


Darij Grinberg authored

Darij Grinberg authored
