formulaLiCo.hh File Reference

#include "formula.hh"

Go to the source code of this file.

Classes

class  concepts::FormulaLiCo
 Linear combination of two formulae. More...
 

Namespaces

 concepts
 Basic namespace for Concepts-2.
 

Detailed Description

Linear combination of two formulae.

Author
Christoph Winkelmann, 2003

Definition in file formulaLiCo.hh.

Page URL: http://wiki.math.ethz.ch/bin/view/Concepts/WebHome
21 August 2020
© 2020 Eidgenössische Technische Hochschule Zürich