mergin dotstar fix for weight calculation
the stopping condition in dotstar changed, real tests are needed to see if the weight result is correct, also the isapprox method should be addapted to vector of semirings
the stopping condition in dotstar changed, real tests are needed to see if the weight result is correct, also the isapprox method should be addapted to vector of semirings