Structures · Analysis
LineDeriv
The notation typeclass for the line derivative.
- Shape
- 3 explicit arguments · adds lineDerivOp
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by31
- LineDeriv.lineDerivOp
- LineDeriv.iteratedLineDerivOp
- LineDeriv.lineDerivOpCLM
- LineDeriv.iteratedLineDerivOp_succ_left
- LineDeriv.tensorLineDerivTwo
- LineDeriv.laplacianCLM
- LineDeriv.iteratedLineDerivOp_add
- LineDeriv.laplacianCLM_eq_sum
- LineDeriv.iteratedLineDerivOpCLM
- LineDeriv.lineDerivOp_left_neg
- LineDeriv.tensorLineDerivTwo_eq_lineDerivOp_lineDerivOp
- LineDeriv.lineDerivOp_zero
- LineDeriv.iteratedLineDerivOp_smul
- LineDeriv.tensorLineDerivTwo_canonicalCovariantTensor_eq_sum
- LineDeriv.iteratedLineDerivOp_fin_zero
- LineDeriv.lineDerivOp_left_sum
- LineDeriv.bilinearLineDerivTwo
- LineDeriv.lineDerivOpCLM.congr_simp
- LineDeriv.iteratedLineDerivOp_one
- LineDeriv.iteratedLineDerivOp_neg
- LineDeriv.lineDerivOp_neg
- LineDeriv.lineDerivOp_left_zero
- LineDeriv.iteratedLineDerivOp_zero
- LineDeriv.iteratedLineDerivOp_const_eq_iter_lineDerivOp
- LineDeriv.lineDerivOpCLM_apply
- LineDeriv.lineDerivOp_sum
- LineDeriv.iteratedLineDerivOp_sum
- LineDeriv.iteratedLineDerivOpCLM_apply
- LineDeriv.tensorLineDerivTwo.congr_simp
- LineDeriv.iteratedLineDerivOp_succ_right
- LineDeriv.continuous_iteratedLineDerivOp
Ancestors0
No ancestors.