Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Predicates #504

Draft
wants to merge 53 commits into
base: develop
Choose a base branch
from
Draft

Predicates #504

wants to merge 53 commits into from

Conversation

christianbean
Copy link
Member

Implements parity perm code

christianbean and others added 30 commits July 19, 2022 14:59
@christianbean
a predicate assumption class
3dc4286
@christianbean
update strategies (except fusion and factor) with predicates
2ea58d3
@christianbean
a predicate refinement strategy
929aa63
@christianbean
the refinement strategy
4dfb74a
@christianbean
a parity scope class
b3ce42b
@christianbean
some tidy up
3ebe3f4
@christianbean
an experimental is empty check
14f74bb
@christianbean
factor toggles parity
cdae45e
@christianbean
add to fusion strategy
61ac5cb
@christianbean
fix experimental check
96fedd1
@christianbean
plus 4 for experimental check
e43524e
@christianbean
experimental check
cd43afa
@christianbean
some atom counting
a26cb7e
@christianbean
add predicate strategy to verified packs
23a497e
@christianbean
code to count fusion
718d431
@christianbean
experimental is empty used to determine if factor is reversible
0dcffb4
@christianbean
points cells can not be even
0f1f060
@jaypantone
creates requirements covering odd cells
19a5d05
@christianbean
Merge branch 'develop' into predicates
91c7b49
@christianbean
more accurate shifts
27e01a4
@christianbean
reset cached properties
1377acc
@christianbean
check if empty before and after simplify
a985f26
@christianbean
check preds after clean assumptions
2efa45c
@christianbean
is reversible in Factor class
43b7340
@christianbean
split parity cells in initialiser, and refine one pred at a time
a02faef
@jaypantone
catches corner cases
022f7b0
@christianbean
fusion constructor considers odd left better, add assumption simplifies
7f1e990
@christianbean
fusion sampling
73e00bb
@christianbean
maps in pred refinement
20005d9
@christianbean
tidy code, add debug setting in tiling.py
9d73060
christianbean and others added 23 commits July 27, 2022 16:14
@christianbean
Merge branch 'develop' into predicates
2158daf
@christianbean
possibly empty has to be set since our is empty check is not perfect
65cb3f5
@christianbean
obsinferral is possibly empty;
b81aa85
@christianbean
a local expansion in is empty
c7c5729
@christianbean
a smarter predicates imply empty method (#493)
31b6ea5 
* a smarter predicates imply empty method

* remove req skip in new empty check

* tidying code
@christianbean
add length 2 reqs in is empty call
2174602
@christianbean
smarter min sizes, and bound to experimental
59d49b6
@christianbean
not implemented reverse fusion counting
d472e6e
@christianbean
dont check init for dummy tiling
9e6f952
@christianbean
insert mgps to satisfy odd even in is empty
de521ae
@christianbean
place points not on own row and col in is empty
d09daf1
@jaypantone
remove point placement in is_empty and adds experimental_bound argument
0e617ea
@jaypantone
fixes experimental bound flag
d9ac524
@christianbean
Merge branch 'develop' into predicates
9209dd5
@christianbean
mypy/pylint/flake8 tidying up
e1a005f
@christianbean
override pack in parity scope
a176b08
@christianbean
Merge branch 'develop' into predicates-and-develop
3065726
@christianbean
Merge branch 'develop' into predicates
3dd2ba0
@christianbean
possibly empty is an argument to some strategies
4dd068f
@christianbean
moving css stuff that was specific to tilings
ba70733
@christianbean
adding a test for av(132)
c44d7bc
@christianbean
only do more complicated empty if necessary
5ec1e7f
@christianbean
tidying up
98f2a9e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@christianbean @jaypantone