PseudoHilbertSpace concept
Description
A pseudo Hilbert space is a
VectorSpace
, equipped with an inner product, denoted by
<y,x>
, i.e. a function that has a scalar as result.
Refinement of
VectorSpace
.
Associated types
Those defined by
VectorSpace
:
Notation
X
A type that is a model of PseudoHilbertSpace
v,w
Object of type
X
Definitions
Valid expressions
In addition to those defined by
VectorSpace
:
Name
Expression
Type requirements
Return type
Inner product
inner_prod( v, w )
value_type
Expression semantics
Name
Expression
Precondition
Semantics
Postcondition
Inner product
inner_prod( v, w )
Complexity guarantees
Invariants
Models
Notes