Rational equivalence (source code)

= Rational equivalence
{wiki}

Rational equivalence is generated by principal divisors $[\operatorname{div}(r)]$ of nonzero rational functions on integral subvarieties one dimension larger than the cycles.