adding cryptominisat 2.9.6 to build/pkgs
adding cryptominisat 2.9.6 to build/pkgs
removing changelog from SPKG.txt, using upstream tarball directly
cmsat-VERSION -> cryptominisat-VERSION
Merge branch 'u/malb/ticket-15674-cryptominisat' of trac.sagemath.org:sage into cryptominisat

Conflicts:
	build/pkgs/cryptominisat/SPKG.txt
	build/pkgs/cryptominisat/checksums.ini
Trac #15723: move CryptoMiniSat SPKG to build/pkgs

CryptoMiniSat is currently still in "legacy SPKG" format. We should move
it to build/pkgs.

Here's the upstream tarball: http://sage.math.washington.edu/home/malb/s
pkgs/cryptominisat-2.9.6.tar.gz

URL: http://trac.sagemath.org/15723
Reported by: malb
Ticket author(s): Martin Albrecht
Reviewer(s): Nathann Cohen
32-bit fix
Merge branch 'develop' into t/14800/ticket/14800
Trac #16019: Connected components for immutable digraphs does not work

{{{
sage: G = DiGraph([[1,2]])
sage: G.connected_components()
[[1, 2]]
sage: G.copy(immutable=True).connected_components()
...
AttributeError: 'NoneType' object has no attribute 'out_neighbors'
}}}

URL: http://trac.sagemath.org/16019
Reported by: tscrim
Ticket author(s): Nathann Cohen
Reviewer(s): Travis Scrimshaw
Trac #16021: remove deprecated code in rings/

URL: http://trac.sagemath.org/16021
Reported by: rws
Ticket author(s): Ralf Stephan
Reviewer(s): Nathann Cohen
Trac #16024: incorrect deleting of states in finite state machine

{{{
            sage: from sage.combinat.finite_state_machine import
FSMTransition
            sage: t1 = FSMTransition('A', 'B', 0)
            sage: t2 = FSMTransition('B', 'B', 1)
            sage: F = FiniteStateMachine([t1, t2])
            sage: F.delete_state('A')
            sage: F.transitions()
            [Transition from 'B' to 'B': 1|-]
            sage: F._states_
            ['B']
            sage: F._states_dict_
            {'A': 'A', 'B': 'B'}
}}}
The last output is wrong.

URL: http://trac.sagemath.org/16024
Reported by: dkrenn
Ticket author(s): Daniel Krenn
Reviewer(s): Clemens Heuberger
Trac #15288: Balanced Incomplete Block Designs with k=4

End of a loong queue of patches, here it is ! The constructions for BIBD
with k=4 as found in Douglas Stinson's book "Combinatorial Designs:
Constructions and Analysis", which uses the constructions given in
#15286 (Latin Squares) and #15287 (Orthogonal Arrays).

This patch creates a file named bibd.py in `combinat/design/` for the
BIBD we already know how to build and the future ones (I will make sure
of that `:-P`)

URL: http://trac.sagemath.org/15288
Reported by: ncohen
Ticket author(s): Nathann Cohen
Reviewer(s): Dima Pasechnik
Trac #13917: IndependentSets class

I'm rather disappointed by this patch. Or I'm pleasantly surprised by
Python, I don't know. I expected a much better speedup.

{{{
sage: g = graphs.RandomGNP(50,.7)
sage: import networkx
sage: gn = g.networkx_graph()
sage: %timeit list(networkx.find_cliques(gn))
10 loops, best of 3: 48.8 ms per loop
sage: from sage.graphs.independent_sets import IndependentSets
sage: %timeit list(IndependentSets(g,complement=True, maximal = True))
10 loops, best of 3: 20.8 ms per loop
sage: %timeit IndependentSets(g,complement=True, maximal =
True).cardinality()
100 loops, best of 3: 19 ms per loop
}}}

Either way, this patch implements a `sage.graphs.independent_set` module
that can list/count (possibly maximal) independent sets. While right now
we can only compute the maximal ones.

Nathann

URL: http://trac.sagemath.org/13917
Reported by: ncohen
Ticket author(s): Nathann Cohen
Reviewer(s): Vincent Delecroix
Trac #15928: Typesetting errors in docstring of FiniteStateMachine._latex_transition_label_

{{{''}}} was used instead of {{{``}}} in
{{{FiniteStateMachine._latex_transition_label_}}},
{{{Automaton._latex_transition_label_}}},
{{{Transducer._latex_transition_label_}}}.

In the latter, an {{{EXAMPLES::}}} was also missing.

URL: http://trac.sagemath.org/15928
Reported by: cheuberg
Ticket author(s): Clemens Heuberger
Reviewer(s): Daniel Krenn
Trac #15998: Restore some documentation and doctests and a function removed with #15466

There isn't much of it (the function in question is a GAP wrapper), but
I prefer it if functionality wouldn't disappear.

URL: http://trac.sagemath.org/15998
Reported by: darij
Ticket author(s): Darij Grinberg
Reviewer(s): Nathann Cohen, Travis Scrimshaw
Trac #15870: (LaTeX)-typesetting of multi-character variables wrong

We have
{{{
sage: abc = var('abc')
sage: latex((abc/(abc+1)+42)/(abc-1))
\frac{\frac{\mbox{abc}}{\mbox{abc} + 1} + 42}{\mbox{abc} - 1}
}}}
The \mbox here is wrong because of the following two reasons:
- In the example above `\mbox{abc}` has normal size, whereas the `+1` is
typeset in subscriptsize (or so). You can see this by
{{{view((abc/(abc+1)+42)/(abc-1))}}}.
- Variables are written in italic.

Therefore `\mbox` should be replaced by `\mathit` (which solves both
problems mentioned above).

See also #13543 (Multi-character variables not supported in
legend_labels).

URL: http://trac.sagemath.org/15870
Reported by: dkrenn
Ticket author(s): Daniel Krenn
Reviewer(s): Andrey Novoseltsev
Trac #14816: Implement absolute order for coxeter groups

The absolute order is defined analogously to the weak order, but using
all reflections rather than just the simple reflections.

URL: http://trac.sagemath.org/14816
Reported by: sam
Ticket author(s): Kevin Dilks, Sam Clearman
Reviewer(s): Frédéric Chapoton, Travis Scrimshaw
Trac #15138: BuiltinFunction._is_registered is giving false negatives

This is easily encountered by the following:
{{{
#!python
sage: loads(dumps(sin)) == sin # derives from GinacFunction
True
sage: loads(dumps(cot)) == cot # should also be True
False
}}}

URL: http://trac.sagemath.org/15138
Reported by: ohanar
Ticket author(s): R. Andrew Ohana
Reviewer(s): Ralf Stephan
Trac #11840: sage.symbolic.expression.Expression.collect_common_factors has no documentation

The collect_common_factors method has an example, but no other
documentation. It is not obvious from the documentation what the method
is supposed to do.

URL: http://trac.sagemath.org/11840
Reported by: mjo
Ticket author(s): Frédéric Chapoton
Reviewer(s): Marc Mezzarobba, Ralf Stephan
Trac #15723: move CryptoMiniSat SPKG to build/pkgs

CryptoMiniSat is currently still in "legacy SPKG" format. We should move
it to build/pkgs.

Here's the upstream tarball: http://sage.math.washington.edu/home/malb/s
pkgs/cryptominisat-2.9.6.tar.gz

URL: http://trac.sagemath.org/15723
Reported by: malb
Ticket author(s): Martin Albrecht
Reviewer(s): Nathann Cohen