1. 26 Jul, 2011 6 commits
  2. 23 Jul, 2011 3 commits
  3. 21 Jul, 2011 1 commit
    • David Moreira's avatar
      Clean code from RationalNumber class. · 79b86062
      David Moreira authored
      * include/vaucanson/algebra/implementation/semiring/q_number.hh
      * include/vaucanson/algebra/implementation/semiring/q_number.hxx:
      Delete debug info and useless methods.
      79b86062
  4. 14 Jul, 2011 1 commit
    • David Moreira's avatar
      Update some algorithms. · 838e3917
      David Moreira authored
      * include/vaucanson/algorithms/eps_removal.hxx,
      * include/vaucanson/algorithms/infiltration.hxx,
      * include/vaucanson/algorithms/product.hxx,
      * include/vaucanson/algorithms/shuffle.hxx: Improve
      implementation.
      838e3917
  5. 12 Jul, 2011 1 commit
    • David Moreira's avatar
      Ignore some generating files. · 67e56170
      David Moreira authored
      * include/.gitignore: Ignore include/vaucanson/f2_*.hh
      and include/vaucanson/q_*.hh (file generate for Z/2Z and
      Q semirings.)
      67e56170
  6. 09 Jul, 2011 1 commit
    • David Moreira's avatar
      Clean rational number code. · 5f4c09d0
      David Moreira authored
      * include/vaucanson/algebra/implementation/semiring/q_number.hxx:
      Delete debug information. Check at the end of set_rational if the
      denominator is 'not null'.
      5f4c09d0
  7. 08 Jul, 2011 14 commits
    • David Moreira's avatar
      Update AUTHORS file. · 1d614b72
      David Moreira authored
      * AUTHORS: Add 2013 students.
      1d614b72
    • David Moreira's avatar
      Include star alphabet (taf-kit) command. · 4886939e
      David Moreira authored
      * taf-kit/src/Makefile.am: Add star alphabets.
      4886939e
    • David Moreira's avatar
      Update domain and image algorithms. · 4562c783
      David Moreira authored
      * include/vaucanson/algorithms/domain.hxx,
      * include/vaucanson/algorithms/image.hxx: Add latest
      version for domain and image algorithms.
      4562c783
    • David Moreira's avatar
      Update vcsn-char-q.test and vcsn-char-r.test · 5b393119
      David Moreira authored
      * taf-kit/tests/vcsn-char-r.test: Read the alphabet '01'
      instead of 'ab'.
      * taf-kit/tests/vcsn-char-q.test: Delete latest test.
      5b393119
    • David Moreira's avatar
      Update Vaucanson version (1.3.9) · edde65a3
      David Moreira authored
      * configure.ac: Update Vaucanson version to 1.3.9.
      edde65a3
    • David Moreira's avatar
      Downgrade sub_normalized.hxx · e684d820
      David Moreira authored
      * include/vaucanson/algorithms/sub_normalized.hxx: Downgrade (check
      error for fmp).
      e684d820
    • David Moreira's avatar
      Add star_alphabet_command file · fc22e4fc
      David Moreira authored
      * taf-kit/src/Makefile.am: add
      taf-kit/src/star_alphabet_command.hh, and
      taf-kit/src/star_alphabet_command.hx
      fc22e4fc
    • David Moreira's avatar
      Work on infiltration, sub_normalize, and shuffle · d0fac696
      David Moreira authored
      * include/vaucanson/algorithms/infiltration.hxx,
      * include/vaucanson/algorithms/sub_normalize.hxx,
      * include/vaucanson/algorithms/shuffle.hxx: Correct
      bug.
      d0fac696
    • David Moreira's avatar
      Change type for RationalNumber. · b6ebe593
      David Moreira authored
      * include/vaucanson/algebra/implementation/semiring/q_number.hh,
      * include/vaucanson/algebra/implementation/semiring/q_number.hh:
      Chagen type for RationalNumber.
      b6ebe593
    • David Moreira's avatar
      Correct Rational Number. · 734f5535
      David Moreira authored
      * include/vaucanson/algebra/implementation/semiring/q_number.hxx:
      Correct rational number operator.
      734f5535
    • David Moreira's avatar
      Add star_alphabet in taf-kit. · 4eaebb64
      David Moreira authored
      * 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.
      4eaebb64
    • David Moreira's avatar
      Create demonstration in data/automata · a74f9872
      David Moreira authored
      * 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
      a74f9872
    • David Moreira's avatar
      Correct bug in Taf-kit · fad543de
      David Moreira authored
      * taf-kit/src/library_command.hh: Correct three letters file
      bug.
      fad543de
    • David Moreira's avatar
      Correct operator== and change data type in Rational Number. · a32ac1cf
      David Moreira authored
      * 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).
      a32ac1cf
  8. 07 Jul, 2011 7 commits
  9. 06 Jul, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Check is_trim() in prefix(), factor(), and suffix(). · d83aa3ff
      Alexandre Duret-Lutz authored
      * 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.
      d83aa3ff
  10. 01 Jul, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Fix two bugs in expand. · f1a3c1f6
      Alexandre Duret-Lutz authored
      * 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.
      f1a3c1f6
  11. 29 Jun, 2011 3 commits
    • Alexandre Duret-Lutz's avatar
      Fix parsing of Q numbers with g++-4.6. · 0903f28f
      Alexandre Duret-Lutz authored
      * 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.
      0903f28f
    • Alexandre Duret-Lutz's avatar
      Do not call realtime in quotient. · d75080fa
      Alexandre Duret-Lutz authored
      * 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.
      d75080fa
    • Alexandre Duret-Lutz's avatar
      Introduce eval-S. · 61422e37
      Alexandre Duret-Lutz authored
      * 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.
      61422e37
  12. 27 Jun, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Integrate shuffle and infiltration algorithm, from Pierre-Yves · f0968e90
      Alexandre Duret-Lutz authored
      Angrand <pangrand@gmail.com>.
      
      * include/vaucanson/algorithms/infiltration.hh,
      include/vaucanson/algorithms/infiltration.hxx,
      include/vaucanson/algorithms/shuffle.hh,
      include/vaucanson/algorithms/shuffle.hxx: New files.
      * include/Makefile.am: Add them.
      * lib/generate_libvcsn.rb (create?): Do not compile these
      in FMP contexts.
      * taf-kit/src/cmd_wt.cc (shuffle_command, infiltration_command):
      New functions.
      f0968e90