Wave-function: Basis sets

See examples in BS.mw

Notations

Procedures