Sage 4.3.alpha0 released!

[Mike Hansen]

Hello all,

Sage 4.3.alpha0 is out! Sage 4.3 now contains much of the new
categories code from the sage-combinat team! It's been in development
for quite awhile, and it's great to finally get it in. There is one
known failure in sage/interfaces/maxima.py caused by #7401. This
issue will be fixed in alpha1 when it comes out.

Source and binary are available at

http://sage.math.washington.edu/home/mhansen/release/4.3/alpha0/sage-4.3.alpha0.tar
http://sage.math.washington.edu/home/mhansen/release/4.3/alpha0/sage-4.3.alpha0-sage.math.washington.edu-x86_64-Linux.tar.gz

The upgrade path is

http://sage.math.washington.edu/home/mhansen/release/4.3/alpha0/sage-4.3.alpha0

Tickets merged in 4.3.alpha0:

#7420: Mike Hansen: Fix uncaught infinite loop in coercion discovery
[Reviewed by Nicolas M. Thiéry, Robert Bradshaw]
#7421: Nicolas M. Thiéry: Weaker precondition for registering a new
coercion. [Reviewed by Robert Bradshaw]
#7460: William Stein: numerical noise on itanium (iras) [Reviewed by
Mike Hansen]
#1163: Karl-Dieter Crisman: make assume behave more consistently and
catch inconsistent assumptions [Reviewed by Jason Grout, Robert Marik]
#3663: Anne Schilling, Brant Jones: add support for affine crystals
[with patch, positive review] [Reviewed by Dan Bump]
#4326: Nicolas M. Thiéry, with help from Anne Schilling, Daniel Bump,
Nicolas Borie, Qiang Wang, Steve Pon: Root systems improvements
[Reviewed by Daniel Bump, Mike Hansen]
#5480: Alex Ghitza: R.quotient_by_principal_ideal() is
self-contradictory [Reviewed by Mike Hansen]
#5482: Alex Ghitza: Quotient ring can be created without generator
names [Reviewed by Mike Hansen]
#5794: Dan Bump: exceptional and reducible type branching rules
[Reviewed by Brant Jones]
#5891: Nicolas M. Thiéry: Categories for the working mathematics
programmer [Reviewed by Robert Bradshaw, Craig Citro, Florent Hivert,
David Kohel, David Roe, Anne Schilling, William Stein, Javier
Vengoroso]
#6136: Nicolas M. Thiéry: (Combinatorial) Free modules: cleanup,
abstraction into categories, and functorial constructions [Reviewed by
Florent Hivert]
#6137: Nicolas M. Thiéry: Symmetric functions: refactoring to use
coercions, categories, unique rep, and Hopf algebra framework
[Reviewed by Jason Bandlow]
#6138: Nicolas M. Thiéry: SymmetricGroupAlgebra: updates w.r.t.
categories and free modules [Reviewed by Florent Hivert]
#6318: Adam Webb: optional doctest failure -- axiom interface --
something doesn't work [Reviewed by Mike Hansen]
#6354: Nicolas M. Thiéry: Advertise and improve sage -fixdoctest
[Reviewed by Mike Hansen]
#6669: Martin Raum: Homomorphisms from matrix groups don't have to
have matrix groups as codomain [Reviewed by Robert Bradshaw]
#6760: Robert Bradshaw: error in quaternion algebra ideal basis
[Reviewed by Alex Ghitza]
#6803: Golam Mortuza Hossain: Implement symbolic Kronecker delta and
also make current signum (sgn) symbolic [Reviewed by Karl-Dieter
Crisman]
#7023: Robert Bradshaw: Upgrade to Cython 0.11.3 [Reviewed by Mike Hansen]
#7036: David Kirkby: rubiks ignores CXX and uses g++ even if CXX is
Sun compiler [Reviewed by Mike Hansen]
#7190: Nathann Cohen: French translation: A Tour of Sage [Reviewed by
Dan Drake, Mike Hansen]
#7208: Florent Hivert: Refactorisation of families [Reviewed by
Nicolas M. Thiéry]
#7352: David Kirkby: Update prereq to version 0.5 [Reviewed by Mike Hansen]
#7395: Florent Hivert: The enumerated set of non negative integers !
[Reviewed by Nicolas M. Thiéry]
#7396: Florent Hivert: Disjoint unions of enumerated sets. [Reviewed
by Nicolas M. Thiéry]
#7397: Florent Hivert: Updated Primes to the category system.
[Reviewed by Nicolas M. Thiéry]
#7401: Robert Marik: Derivative at a point is not translated into
Maxima [Reviewed by Karl-Dieter Crisman]
#7403: Florent Hivert: adds FiniteEnumeratedSet [Reviewed by Nicolas M. Thiéry]
#7443: Florent Hivert: List all categories in the reference manual
[Reviewed by Nicolas M. Thiéry]
#7449: William Stein: Some doc request hangs sage eating all memory.
[Reviewed by Florent Hivert]
#7450: Alex Ghitza: implement is_prime() for ideals [Reviewed by
Martin Albrecht]
#7462: Kwankyu Lee: magma interface -- huge number of doctest failures
[Reviewed by Georg S. Weber]
#7478: Florent Hivert, Nicolas M. Thiéry: TestSuite improvements
[Reviewed by Nicolas M. Thiéry, Florent Hivert]
#7479: Mike Hansen: sage fails to integrate identity [Reviewed by
Karl-Dieter Crisman]
#7371: Alex Ghitza: rename quotient_group() to quotient() in
groups/perm_gps/permgroup.py [Reviewed by Mike Hansen]
#7463: William Stein: document memory management for the magma
interface [Reviewed by Georg Weber]
#7474: Martin Raum: Expose some more functionality of fmz_poly
[Reviewed by Mike Hansen]
#7488: William Stein: plot3d? doesn't document plot_points option
[Reviewed by Mike Hansen]


Other tickets closed in the 4.3 release cycle:

#2783: notebook -- ocassional "crap" in output like this print "\x01r\x01e580"
#3464: notebook server error on sage.math (port detection problem)
#3802: notebook -- run server locally and logout then go to local
server again and get KeyError in server log and internal server error
#6517: FriCAS X.Y.Z
#7142: We must check if the version of 'tar' found is gnu tar
#7143: We must check if the version of 'make' found is gnu 'make'
#7181: We must ensure we have GNU make, not HP-UX or Solaris 'make'
#7182: HP-UX failure of gfan-0.3.p4 but easier to ensure we have GNU make.
#7203: prereq-0.4 does not exit if CC is not gcc, but CXX is g++
#7284: create an optional gmp spkg
#7384: SageNB -- Fix Sphinxify doctests
#3772: Gnuplot.py uses IPython/Python 2.6 keyword with
#7187: update optional package Gnuplot.py to 1.8
#7156: prereq-0.4 has a minor portability issue.
#6533: sage >= 4.1.rc1 doesn't build on cleo (ia64-Linux-rhel5)
#436: http to https redirect for secure notebook
#3463: notebook -- create a resource folder and move AnonymousToplevel to it
#3778: part 1 of new configuration system
#3535: notebook -- A "getting started" worksheet for new users
#3753: notebook -- change the default for nb.save('...')
#6765: Linear Programming in Tutorial's Tour !
#1916: notebook -- implement a way to turn off word wrap globally in
the notebook

--Mike

[Kiran Kedlaya]

In 64-bit Fedora 10, I see one doctest failure:

sage -t -long "devel/sage/sage/interfaces/maxima.py"
**********************************************************************
File "/scratch/sage-4.3.alpha0/devel/sage/sage/interfaces/maxima.py",
line 2172:
sage: latex(maxima(derivative(ceil(x*y*d), d,x,x,y)))
Exception raised:
Traceback (most recent call last):
File "/scratch/sage-4.3.alpha0/local/bin/ncadoctest.py", line
1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File "/scratch/sage-4.3.alpha0/local/bin/sagedoctest.py", line
38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example,
filename, compileflags)
File "/scratch/sage-4.3.alpha0/local/bin/ncadoctest.py", line
1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_68[4]>", line 1, in <module>
latex(maxima(derivative(ceil(x*y*d), d,x,x,y)))###line 2172:
sage: latex(maxima(derivative(ceil(x*y*d), d,x,x,y)))
File "/scratch/sage-4.3.alpha0/local/lib/python/site-packages/
sage/interfaces/expect.py", line 1033, in __call__
return self._coerce_from_special_method(x)
File "/scratch/sage-4.3.alpha0/local/lib/python/site-packages/
sage/interfaces/expect.py", line 1057, in _coerce_from_special_method
return (x.__getattribute__(s))(self)
File "expression.pyx", line 429, in
sage.symbolic.expression.Expression._maxima_ (sage/symbolic/
expression.cpp:3324)
File "sage_object.pyx", line 364, in
sage.structure.sage_object.SageObject._interface_ (sage/structure/
sage_object.c:3327)
File "sage_object.pyx", line 453, in
sage.structure.sage_object.SageObject._maxima_init_ (sage/structure/
sage_object.c:5036)
File "expression.pyx", line 452, in
sage.symbolic.expression.Expression._interface_init_ (sage/symbolic/
expression.cpp:3414)
File "/scratch/sage-4.3.alpha0/local/lib/python/site-packages/
sage/symbolic/expression_conversions.py", line 214, in __call__
return self.arithmetic(ex, operator)
File "/scratch/sage-4.3.alpha0/local/lib/python/site-packages/
sage/symbolic/expression_conversions.py", line 553, in arithmetic
args = ["(%s)"%self(op) for op in ex.operands()]
File "/scratch/sage-4.3.alpha0/local/lib/python/site-packages/
sage/symbolic/expression_conversions.py", line 214, in __call__
return self.arithmetic(ex, operator)
File "/scratch/sage-4.3.alpha0/local/lib/python/site-packages/
sage/symbolic/expression_conversions.py", line 553, in arithmetic
args = ["(%s)"%self(op) for op in ex.operands()]
File "/scratch/sage-4.3.alpha0/local/lib/python/site-packages/
sage/symbolic/expression_conversions.py", line 218, in __call__
return self.derivative(ex, operator)
File "/scratch/sage-4.3.alpha0/local/lib/python/site-packages/
sage/symbolic/expression_conversions.py", line 541, in derivative
raise NotImplementedError, "cannot convert expression to
Maxima"
NotImplementedError: cannot convert expression to Maxima
**********************************************************************

This same doctest gives a reproducible "mysterious error" in 4.2.1.
Speaking of which, I got a "mysterious error" in

sage -t -long "devel/sage/sage/misc/latex_macros.py"

but that seems not to be reproducible.

Maybe I'll try optional doctests next. As William has pointed out, the
results won't be pretty!

Kiran