AngouriMath
KetOps
Description
Summary
The monoid and lattice structure on kets: the tensor product joins them, and the meet
keeps a position only where both agree.
keeps a position only where both agree.
Remarks
The alphabet is unordered, so this is the meet in a product of *flat* lattices -- which
is the only place it differs from a polynomial's exponent vector, where the meet is a
componentwise minimum in a product of chains. Everything else about factoring is shared.
is the only place it differs from a polynomial's exponent vector, where the meet is a
componentwise minimum in a product of chains. Everything else about factoring is shared.
Members
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online