Feature: Polynomials and rational functions #469

Merged
lounres merged 132 commits from feature/polynomials into dev 2022-07-28 18:04:06 +03:00
4 changed files with 5 additions and 6 deletions
Showing only changes of commit 51b0d232b5 - Show all commits

View File

@ -867,8 +867,7 @@ public interface AbstractRationalFunctionalSpaceOverPolynomialSpace<
/**
* Abstraction of field of rational functions of type [R] with respect to polynomials of type [P] and constants of type
* [C]. It also assumes that there is provided [polynomialRing] (of type [AP]), that provides constant- and
* polynomial-wise operations.
* [C]. It also assumes that there is provided constructor
*
* @param C the type of constants. Polynomials have them as coefficients in their terms.
* @param P the type of polynomials. Rational functions have them as numerators and denominators in them.
@ -876,7 +875,7 @@ public interface AbstractRationalFunctionalSpaceOverPolynomialSpace<
* @param AP the type of algebraic structure (precisely, of ring) provided for polynomials.
*/ // TODO: Add support of field
@Suppress("INAPPLICABLE_JVM_NAME")
public abstract class AbstractPolynomialFractionsSpace<
public abstract class PolynomialSpaceOfFractions<
C,
P: AbstractPolynomial<C>,
R: AbstractRationalFunction<C, P>,

View File

@ -71,7 +71,7 @@ public class LabeledRationalFunctionSpace<C, A: Ring<C>>(
LabeledRationalFunction<C>,
LabeledPolynomialSpace<C, A>,
>,
AbstractPolynomialFractionsSpace<
PolynomialSpaceOfFractions<
C,
LabeledPolynomial<C>,
LabeledRationalFunction<C>,

View File

@ -67,7 +67,7 @@ public class NumberedRationalFunctionSpace<C, A: Ring<C>> (
NumberedRationalFunction<C>,
NumberedPolynomialSpace<C, A>,
>,
AbstractPolynomialFractionsSpace<
PolynomialSpaceOfFractions<
C,
NumberedPolynomial<C>,
NumberedRationalFunction<C>,

View File

@ -49,7 +49,7 @@ public class RationalFunctionSpace<C, A : Ring<C>> (
RationalFunction<C>,
PolynomialSpace<C, A>,
>,
AbstractPolynomialFractionsSpace<
PolynomialSpaceOfFractions<
C,
Polynomial<C>,
RationalFunction<C>,