weight: the log star is dead wrong
Please, fix our star.
import vcsn
c = vcsn.context('lan, log')
x = c.weight('.5')
s = c.weight('oo')
for i in range(1000):
s = s + x ** i
print(s) # −0.932752
print(x.star()) # −0.693147
Please, fix our star.
import vcsn
c = vcsn.context('lan, log')
x = c.weight('.5')
s = c.weight('oo')
for i in range(1000):
s = s + x ** i
print(s) # −0.932752
print(x.star()) # −0.693147