Project

General

Profile

« Previous | Next » 

Revision 9cab822e

ID9cab822efeb183663c35991c7520aa61f928482b
Parent c9dbb509
Child 97d89f3f

Added by Hans-Peter Deifel 2 months ago

Fix apply for the partial permutation tracker

- Apply all indices in the map, not only the currently tracked ones.
- Apply Stars in the same way as regular formulas

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences