ReduceForm

Reduce an indefinite QuadraticForm by walking FormRho until Gauss's reduction condition holds.

ReduceForm(form)the reduced form in its cycle

Typed signatures

Type	Package	Applies
(expression<QuadraticForm>) -> expression<QuadraticForm>	modular	always

Domain: The modular group

Examples

Basic #

Walks FormRho until Gauss's condition holds

live ↗

In$\mathrm{ReduceForm}(\mathrm{QuadraticForm}(2, 5, 1))$Out$\mathrm{QuadraticForm}(1, 3, -2)$

About

Examples	1

See also: FormRho, IsReducedForm, FormClassNumber