You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In homomorphism search, we can sometimes have free floating AttrVars in the domain which can in principle be bound to any concrete value, which means infinite possible homomorphisms (we throw an error in this case). However, if we have the constraint that AttrVars are sent to other AttrVars, it becomes a finite search problem again.
This constraint isn't exactly the same thing as monic, so it deserves a different name. Perhaps bind=true.1 When bind=false, it should be impossible to trigger the error for searching for morphisms from free-floating variables.
Footnotes
Like monic, this could be componentwise too. E.g. bind=[:Weight]↩
The text was updated successfully, but these errors were encountered:
In homomorphism search, we can sometimes have free floating AttrVars in the domain which can in principle be bound to any concrete value, which means infinite possible homomorphisms (we throw an error in this case). However, if we have the constraint that AttrVars are sent to other AttrVars, it becomes a finite search problem again.
This constraint isn't exactly the same thing as
monic
, so it deserves a different name. Perhapsbind=true
.1 Whenbind=false
, it should be impossible to trigger the error for searching for morphisms from free-floating variables.Footnotes
Like
monic
, this could be componentwise too. E.g.bind=[:Weight]
↩The text was updated successfully, but these errors were encountered: