• Hans-Peter Deifel's avatar
    Implement true rationals · b6d12102
    Hans-Peter Deifel authored
    Rationals were already supported, but their input syntax was the same as for
    reals: Decimal fixed point notation. This is now fixed and the functor X^-
    allows weights to be written as either integers or ratios of integers, separated
    by a slash.
    b6d12102
Name
Last commit
Last update
..
README.md Loading commit data...
bag-example Loading commit data...
bit-and Loading commit data...
bit-and.out Loading commit data...
boolean-lists-automaton Loading commit data...
boolean-lists-automaton.out Loading commit data...
complex Loading commit data...
complex.out Loading commit data...
dfa Loading commit data...
dfa.out Loading commit data...
example-5-11 Loading commit data...
example-5-11.out Loading commit data...
language-equiv-vs-bisim Loading commit data...
markov Loading commit data...
markov.out Loading commit data...
max-int-monoid Loading commit data...
max-int-monoid.out Loading commit data...
max-real-monoid Loading commit data...
max-real-monoid.out Loading commit data...
p-tree Loading commit data...
pp-non-zippable Loading commit data...
pp-non-zippable.out Loading commit data...
top-down-tree-automaton Loading commit data...
top-down-tree-automaton.out Loading commit data...
valmari-fig3 Loading commit data...
valmari-fig3-rational Loading commit data...
valmari-fig3-rational.out Loading commit data...
valmari-fig3.out Loading commit data...
weights-tree Loading commit data...