Sides of affine subspaces #
This file defines notions of two points being on the same or opposite sides of an affine subspace.
Main definitions #
s.WSameSide x y
: The pointsx
andy
are weakly on the same side of the affine subspaces
.s.SSameSide x y
: The pointsx
andy
are strictly on the same side of the affine subspaces
.s.WOppSide x y
: The pointsx
andy
are weakly on opposite sides of the affine subspaces
.s.SOppSide x y
: The pointsx
andy
are strictly on opposite sides of the affine subspaces
.
The points x
and y
are weakly on the same side of s
.
Instances For
The points x
and y
are strictly on the same side of s
.
Instances For
The points x
and y
are weakly on opposite sides of s
.
Instances For
The points x
and y
are strictly on opposite sides of s
.
Instances For
Alias of AffineSubspace.SSameSide.left_notMem
.
Alias of AffineSubspace.SSameSide.right_notMem
.
Alias of AffineSubspace.SOppSide.left_notMem
.
Alias of AffineSubspace.SOppSide.right_notMem
.
Alias of the forward direction of AffineSubspace.wSameSide_comm
.
Alias of the forward direction of AffineSubspace.sSameSide_comm
.
Alias of the forward direction of AffineSubspace.wOppSide_comm
.
Alias of the forward direction of AffineSubspace.sOppSide_comm
.
Alias of Sbtw.sOppSide_of_notMem_of_mem
.