Fix bug in share/contrib/format/format.lisp caused by clobbering
the FORMATTER property which is now also used by src/nforma.lisp (since commit 4260be98).
Fixes the problem report by Valery Pipin to the mailing list 2013-05-07: "defrule regression compare to version 5.29.1"
Fix rk() when the independent variable's initial value is nonzero.
Results now agree with the old rk() in v5.29.1.

Also add a simple test with a nonzero initial value.
Merge branch 'master' of ssh://git.code.sf.net/p/maxima/code
Fix bug in asksign

I introduced this bug when refactoring the code in
February. Basically, I hadn't realised that when someone calls
asksign(x^2), we actually ask for the sign of x (asking whether it's
zero or nonzero) and then treat any negatives as positives. This patch
puts the behaviour back in.
Reorder the contents of asksign1 slightly to avoid repetition

This also avoids a silly bug where I had a missing CDR call on one
branch when executing this (almost) repeated code. Now making such a
mistake is impossible...
Add a test for sign of squared expressions
Fix bug in NFORMAT when operator is a non-symbol.
Bug reported to mailing list 2013-05-22: "array-lambda error with 5.30.0"
Clarify warning message in tellsimp.
Merge branch 'master' of ssh://git.code.sf.net/p/maxima/code
Fix cut-n-paste error in SIMP-%ACOS: replace %SIN with %COS.
Fixes SF bug # 2570: "Make acos(cos(x)) simplify to x when on correct interval".
Nuke the translation for $RAT as suggested in SF bug # 2569: "translate rat(1,x) and rat([1]) incorrect". Fixes that bug.
Call OPER-APPLY after carrying out nary simplification (flattening).
This makes it possible to declare an operator as both nary and something else.
In simplification of nary expressions, do not call simplification function
attached via OPERATORS property; that function will be called after OPER-APPLY runs through
all the functions on the *OPERS-LIST list. With this change, we avoid an error when the
simplification function can return an expression which has a different operator.
o new function askequal (defined in compar.lisp)
o new defprop for integrate(x^n,x) (uses askequal, not asksign)
o revised rtest_integrate.mac for new defprop for integrate(x^n,x)
Fix wrong noun form returned for jacobi_nc(elliptic_kc(m)/n,m) and similar
expressions
Fix #2536 Lisp error in limit: "bad gvar lim"
Fix #2475 limit(x^(mu/x^g),x,inf) --> error

src/hayat.lisp:
o tvar-lim: call tay-error instead of error
o pslog: call tay-error instead of error

For both bug reports, taylor series now fails, but without giving
a user error.

limit(x^(mu/x^g),x,inf) now returns nounform,

bar : (9*log((-1)^n/%phi^n-%phi^n)-9*log(5)/2+log(-1))
     /log((%phi^(9*n)-(-1)^(9*n)/%phi^(9*n))/sqrt(5)
       -((-1)^n/%phi^n-%phi^n)*((-1)^(8*n)/%phi^(8*n)-%phi^(8*n))/5)$
limit (bar, n, inf);
now returns one.
o new nonintegerp function; resolves bug #2501 %pi/8 is definitely not an integer
o append tests to rtest16 for #2501 %pi/8 is definitely not an integer
o append tests to rtest16 for new nonintegerp function
o fixes to $askequal; resolves #2583 sign error for integrate(x^(8*%i-1),x)
o declare %pi, %phi, and %e irrational
o set ratmx to true for one rtest_eigen test (for new matrix inverse code)
o change assume for one rtest_odelin (needed for new askequal)
Update ratinterpol examples
o correct expected result for rtest_abs_integrate.mac
o reinstate integrate(a^x,x) code for mexpt integrate defprop
o revert rtest_integrate for integrate(a^x,x)
Commit ChangeLog-5.30 (incomplete). Put recent changelogs on list of files for distribution.