# PolynomialSolveByFormulas(UP, F, RR)ΒΆ

solvefor.spad line 1 [edit on github]

F: Field with

RR: Join(PolynomialFactorizationExplicit, Comparable, CharacteristicZero)

This package factors the formulas out of the general solve code, allowing their recursive use over different domains. Care is taken to introduce few radicals so that radical extension domains can more easily simplify the results.

- aCubic: (F, F, F, F) -> F
`aCubic(f, g, h, j)`

undocumented

- aLinear: (F, F) -> F
`aLinear(f, g)`

undocumented

- aQuadratic: (F, F, F) -> F
`aQuadratic(f, g, h)`

undocumented

- aQuartic: (F, F, F, F, F) -> F
`aQuartic(f, g, h, i, k)`

undocumented

- cubic: (F, F, F, F) -> List F
`cubic(f, g, h, i)`

undocumented

- cubic: UP -> List F
`cubic(u)`

undocumented

- linear: (F, F) -> List F
`linear(f, g)`

undocumented

- linear: UP -> List F
`linear(u)`

undocumented

- particularSolution: UP -> F
`particularSolution(u)`

undocumented

- quadratic: (F, F, F) -> List F
`quadratic(f, g, h)`

undocumented

- quadratic: UP -> List F
`quadratic(u)`

undocumented

- quartic: (F, F, F, F, F) -> List F
`quartic(f, g, h, i, j)`

undocumented

- quartic: UP -> List F
`quartic(u)`

undocumented

- solve: UP -> List F
`solve(u)`

undocumented