Skip to content

Version 2.2.0

Choose a tag to compare

View all tags
@enadeau enadeau released this 08 Jul 13:58
· 311 commits to master since this release
v2.2.0
58e57a5
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

[2.2.0] - 2020-07-08

Added

  • add the can_be_equivalent methods to AddAssumptionsStrategy,
    SplittingStrategy, and FusionStrategy.
  • added a get_assumption method to Tiling

Changed

  • the Factor algorithm will now factor TrackingAssumptions if they span
    multiple factors of the tiling. This means that the SplittingStrategy is
    removed from the tracked StrategyPack. It does not factor
    ComponentAssumptions, so using this strategy still requires the
    SplittingStrategy.

Fixed

  • remove empty assumptions when creating extra parameters in FusionStrategy
  • the method Tiling.get_genf returns the Catalan generating function for Av(123).
  • correct the generating function equations for SplittingStrategy
Assets 2
Loading