David Moreira authored Sep 09, 2011 and Alexandre Duret-Lutz committed Sep 09, 2011

* include/vaucanson/algorithms/domain.hxx,
* include/vaucanson/algorithms/image.hxx: Update, Fix
FIXME.
* include/vaucanson/algorithms/universal.hh,
* include/vaucanson/algorithms/universal.hxx: Create universal
algorithms.
* include/Makefile.am: Include
include/vaucanson/algorithms/universal.hh
and include/vaucanson/algorithms/universal.hxx to the vaucanson
dist tarball.
* lib/generate_libvcsn.rb: universal algorithms is for automata.
* data/.gitignore: Ignore new binary.
* taf-kit/src/cmd_b.cc, taf-kit/src/cmd_r.cc: Add universal command
to boolean and real automata.

* configure.ac: Bump version to 1.3.9a.
* doc/manual/taf-kit-manual.tex: Likewise.

* data/automata/char-fmp-b/ORR.cc: Add one
rule rewriting in automata data.

* data/automata/char-b/divkbaseb.cc,
* data/automata/char-b/double_ring.cc,
* data/automata/char-b/ladybird.cc,
* data/automata/char-f2/ring.cc,
* data/automata/char-fmp-b/Makefile.am,
* data/automata/char-fmp-b/quotkbaseb.cc: Some
bugs corrected.
* taf-kit/src/library_commands.hh,
* taf-kit/src/main.cc: Minor changes.

* include/vaucanson/algebra/implementation/semiring/q_number.hh
* include/vaucanson/algebra/implementation/semiring/q_number.hxx:
Delete debug info and useless methods.

* include/vaucanson/algorithms/eps_removal.hxx,
* include/vaucanson/algorithms/infiltration.hxx,
* include/vaucanson/algorithms/product.hxx,
* include/vaucanson/algorithms/shuffle.hxx: Improve
implementation.

* include/.gitignore: Ignore include/vaucanson/f2_*.hh
and include/vaucanson/q_*.hh (file generate for Z/2Z and
Q semirings.)

* include/vaucanson/algebra/implementation/semiring/q_number.hxx:
Delete debug information. Check at the end of set_rational if the
denominator is 'not null'.

* AUTHORS: Add 2013 students.

* taf-kit/src/Makefile.am: Add star alphabets.

* include/vaucanson/algorithms/domain.hxx,
* include/vaucanson/algorithms/image.hxx: Add latest
version for domain and image algorithms.

* taf-kit/tests/vcsn-char-r.test: Read the alphabet '01'
instead of 'ab'.
* taf-kit/tests/vcsn-char-q.test: Delete latest test.

* configure.ac: Update Vaucanson version to 1.3.9.

* include/vaucanson/algorithms/sub_normalized.hxx: Downgrade (check
error for fmp).

* taf-kit/src/Makefile.am: add
taf-kit/src/star_alphabet_command.hh, and
taf-kit/src/star_alphabet_command.hx

* include/vaucanson/algorithms/infiltration.hxx,
* include/vaucanson/algorithms/sub_normalize.hxx,
* include/vaucanson/algorithms/shuffle.hxx: Correct
bug.

* include/vaucanson/algebra/implementation/semiring/q_number.hh,
* include/vaucanson/algebra/implementation/semiring/q_number.hh:
Chagen type for RationalNumber.

* include/vaucanson/algebra/implementation/semiring/q_number.hxx:
Correct rational number operator.

* taf-kit/src/cmd_wt.cc,
* taf-kit/src/star_alphabet_command.hh,
* taf-kit/src/star_alphabet_command.hxx:
Add star_alphabet in taf-kit factory.

* configure.ac,
* data/automata/Makefile.am,
* data/automata/char-b/Makefile.am,
* data/automata/char-b/evena.cc,
* data/automata/char-b/oddb.cc,
* data/automata/char-char-b/Makefile.am,
* data/automata/char-f2/Makefile.am,
* data/automata/char-f2/ring.cc,
* data/automata/char-fmp-z/Makefile.am,
* ata/automata/char-int-b/Makefile.am,
* data/automata/char-q/Makefile.am,
* data/automata/char-r/Makefile.am,
* data/automata/char-zmax/Makefile.am,
* data/automata/char-zmax/gag.cc,
* data/automata/char-zmax/maxab.cc,
* data/automata/char-zmin/Makefile.am,
* data/automata/char-zmin/minab.cc,
* data/automata/char-zmin/sag.cc,
* data/automata/int-b/Makefile.am,
* data/automata/int-z/Makefile.am: Create demonstration
in data/automata for int-z, int-b, char-zmin, char-zmax,
char-r, char-q, char-int-b, char-fmp-z, char-f2, char-char-b,
and char-b. Create Makefile.am for demonstration, and update
main Makefile.am

* taf-kit/src/library_command.hh: Correct three letters file
bug.

* include/vaucanson/algebra/implementation/q_number.hh,
* include/vaucanson/algebra/implementation/q_number.hxx: Change
data type to 'long long' instead of int. Correct operator== for
null numbers.
* include/vaucanson/misc/algebra.hh,
* include/vaucanson/misc/algebra.hxx: Change type for lcm pgm
and is_coprime functions (unsigned long long).

* include/vaucanson/algorithms/eps_removal.hxx
(positive_path_covering): Fix iteration on supp().

* include/vaucanson/xml/builders.hxx (get_semiring_operations):
Add specialization to output CyclicSemirings as "field".
* data/vaucanson.xsd: Update it.

* taf-kit/src/pipe.hh: Declare OUTPUT_TYPE_FPEXP.
* taf-kit/src/pipe_writers.hxx: Handle it.
* taf-kit/src/main.cc: Handle "-o EXP" and "-o FPEXP".

* include/vaucanson/algorithms/eps_removal.hxx
(EpsilonRemover::test_for_non_positive_semiring): Move ...
(test_for_non_positive_semiring::run): ... here in a separate
struct that we can specialize if the semiring is positive.

on FMP).

* include/vaucanson/algorithms/eps_removal.hxx
(positive_path_covering): Use "weight < semiring_elt_zero" instead
of "weight.value() < 0".

* include/vaucanson/algebra/concept/semiring_base.hh
(semiring_traits<T,U>): New trait.
* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh,
include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx,
include/vaucanson/algebra/implementation/semiring/tropical_semiring.hh,
include/vaucanson/algebra/implementation/semiring/tropical_semiring.hxx,
include/vaucanson/algebra/implementation/series/krat.hh,
include/vaucanson/algebra/implementation/series/krat.hxx
(is_positive_semiring): Remove and...
(semiring_traits<T,U>): ... specialize.
* taf-kit/src/cmd_gen.cc (semiring-info): Adjust caller.

* include/vaucanson/algorithms/factor.hh,
include/vaucanson/algorithms/factor.hxx,
include/vaucanson/algorithms/prefix.hh,
include/vaucanson/algorithms/prefix.hxx,
include/vaucanson/algorithms/suffix.hh,
include/vaucanson/algorithms/suffix.hxx: Add is_trim precondition
as reported by Jacques Sakarovitch.
* src/tests/sanity/hhck.pl: Add support from checking is_trim()
preconditions.

* include/vaucanson/algorithms/krat_exp_expand.hxx (list_concat):
Handle ONE and ZERO in lists.
(MATCH__(Product, lhs, rhs)): Sum weights of identical element
generated while expansing the product.
* taf-kit/tests/vcsn-char-z.test: Add some test cases based on
a report by Jacques Sakarovitch.

* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh,
include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx
(op_parse): Remove this overloading for RationalNumber.  Its
incorrect usage of tellg() broke with g++-4.6, and the general
definition of op_parse() in
include/vaucanson/algebra/concept/semiring_base.hxx will call the
operator<< code that is specialized for RationalNumber already.
* include/vaucanson/algebra/implementation/semiring/q_number.hh,
include/vaucanson/algebra/implementation/semiring/q_number.hxx
(operator<<): Move into the vcsn::algebra namespace, so that Koening
lookup works.  Also to not try to read past the end of the stream.

* taf-kit/src/cmd_wt.cc (quotient_command): Do not call realtime.
* taf-kit/tests/vcsn-int-z.test, taf-kit/tests/vcsn-int-b.test: Adjust.
Do not call realtime in quotient.

* taf-kit/src/cmd_wt.cc (eval_command): Rename as ...
(eval_S_command): ... this
(eval_command): New version that does not call realtime.
* taf-kit/tests/vcsn-char-b.test,
taf-kit/tests/vcsn-char-fmp-b.test,
taf-kit/tests/vcsn-char-z.test, taf-kit/tests/vcsn-int-b.test,
taf-kit/tests/vcsn-int-z.test: Adjust.