mschlund/FPsolve

Issues

• Make Parser more general: by default non-commutative Polys

  #31 opened 11 years ago
  1

• Commutative Case: Compute J* over commutative RegExp instead of FreeSR

  #30 opened 11 years ago
  1

• Distinguish Semirings and StarSemirings

  #29 opened 11 years ago
  0

• Optimizer/Approximator Interfaces and Implementations

  #20 opened 12 years ago
  0

• Make the library thread-safe

  #15 opened 12 years ago
  1

• Equivalence Testing in the Counting Semiring

  #13 opened 12 years ago
  3

• Overapproximations of SL-sets

  #12 opened 11 years ago
  0

• SR of contexts

  #11 opened 12 years ago
  0

• Unifying datastructure for "Symbolic" semirings

  #10 opened 12 years ago
  0

• Optimize #gens in SL-set

  #9 opened 12 years ago
  0

• Non-commutative Newton

  #8 opened 12 years ago
  7

• Different algorithms for the Matrix-star

  #7 opened 11 years ago
  0

• New option: recompute concrete Jacobian-star every iteration

  #6 opened 11 years ago
  0

• FreeSR + ComRegExp (more) compact representation

  #5 opened 12 years ago
  1

• nat*SR

  #4 opened 12 years ago
  0

• test failure

  #2 opened 12 years ago
  1