Commit 1bcea039 authored by Dennis Müller's avatar Dennis Müller

update

parent 8b5bc7f3
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://mathhub.info/MitM/smglom/algebra/polynomials.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#0.0.0:778.15.0"/></metadata><mref name="[http://mathhub.info/MitM/smglom/algebra?Polynomials]" target="http://mathhub.info/MitM/smglom/algebra?Polynomials"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#104.4.0:121.4.17"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://mathhub.info/MitM/smglom/algebra/polynomials.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#0.0.0:1323.32.0"/></metadata><mref name="[http://mathhub.info/MitM/smglom/algebra?Polynomials]" target="http://mathhub.info/MitM/smglom/algebra?Polynomials"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#104.4.0:121.4.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?RationalPolynomials]" target="http://mathhub.info/MitM/smglom/algebra?RationalPolynomials"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#927.22.0:952.22.25"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://mathhub.info/MitM/smglom/elliptic_curves/algebra_base.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/elliptic_curves/algebra_base.mmt#0.0.0:580.15.0"/></metadata><mref name="[http://mathhub.info/MitM/smglom/elliptic_curves?Base]" target="http://mathhub.info/MitM/smglom/elliptic_curves?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/elliptic_curves/algebra_base.mmt#169.5.0:179.5.10"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://mathhub.info/MitM/smglom/elliptic_curves/algebra_base.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/elliptic_curves/algebra_base.mmt#0.0.0:383.11.0"/></metadata><mref name="[http://mathhub.info/MitM/smglom/elliptic_curves?Base]" target="http://mathhub.info/MitM/smglom/elliptic_curves?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/elliptic_curves/algebra_base.mmt#169.5.0:179.5.10"/></metadata></mref></omdoc>
\ No newline at end of file
document http://mathhub.info/MitM/smglom/algebra/polynomials.omdoc
Declares http://mathhub.info/MitM/smglom/algebra/polynomials.omdoc http://mathhub.info/MitM/smglom/algebra?Polynomials
Declares http://mathhub.info/MitM/smglom/algebra/polynomials.omdoc http://mathhub.info/MitM/smglom/algebra?RationalPolynomials
......@@ -3,6 +3,9 @@ dataconstructor http://mathhub.info/MitM/smglom/algebra?Polynomials?power_seq
dataconstructor http://mathhub.info/MitM/smglom/algebra?Polynomials?polynomial_of
datatypeconstructor http://mathhub.info/MitM/smglom/algebra?Polynomials?OneDimensionalPolynomialsOver
dataconstructor http://mathhub.info/MitM/smglom/algebra?Polynomials?polynomialRing
datatypeconstructor http://mathhub.info/MitM/smglom/algebra?Polynomials?polynomial
datatypeconstructor http://mathhub.info/MitM/smglom/algebra?Polynomials?multi_polynomial
datatypeconstructor http://mathhub.info/MitM/smglom/algebra?Polynomials?monomial
theory http://mathhub.info/MitM/smglom/algebra?Polynomials
HasMeta http://mathhub.info/MitM/smglom/algebra?Polynomials http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?DHOL
......@@ -57,3 +60,9 @@ Declares http://mathhub.info/MitM/smglom/algebra?Polynomials http://mathhub.info
constant http://mathhub.info/MitM/smglom/algebra?Polynomials?OneDimensionalPolynomialsOver
Declares http://mathhub.info/MitM/smglom/algebra?Polynomials http://mathhub.info/MitM/smglom/algebra?Polynomials?polynomialRing
constant http://mathhub.info/MitM/smglom/algebra?Polynomials?polynomialRing
Declares http://mathhub.info/MitM/smglom/algebra?Polynomials http://mathhub.info/MitM/smglom/algebra?Polynomials?polynomial
constant http://mathhub.info/MitM/smglom/algebra?Polynomials?polynomial
Declares http://mathhub.info/MitM/smglom/algebra?Polynomials http://mathhub.info/MitM/smglom/algebra?Polynomials?multi_polynomial
constant http://mathhub.info/MitM/smglom/algebra?Polynomials?multi_polynomial
Declares http://mathhub.info/MitM/smglom/algebra?Polynomials http://mathhub.info/MitM/smglom/algebra?Polynomials?monomial
constant http://mathhub.info/MitM/smglom/algebra?Polynomials?monomial
dataconstructor http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?poly_con
dataconstructor http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?monomial_con
dataconstructor http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?multi_poly_con
theory http://mathhub.info/MitM/smglom/algebra?RationalPolynomials
HasMeta http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?DHOL
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?NatRels
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?NatRules
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?NatRules/NatOnly
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?Nat
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?Sequences
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?Bool
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?Ded
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?LFS
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?Sequences
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?OperationProps
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?Magma
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?SemiGroup
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?Unital
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?Monoid
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?OptionType
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?DescriptionOperator
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?NaturalDeduction
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?Loop
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Subtyping?SubSymbol
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Subtyping?SubRules
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Subtyping?JudgmentSymbol
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Subtyping?JudgmentRules
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubSymbols
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubRules
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Subtyping?AllSubtypes
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Subtyping?PiRule
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?IntLiterals
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?Strings
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?InformalProofs
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?Group
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?AbelianGroup
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?Rig
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?Ring
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?Polynomials
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Datatypes?ListRules
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Datatypes?LFLists
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?Lists
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?Field
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/arithmetics?NaturalNumbers
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/arithmetics?NaturalArithmetics
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/arithmetics?IntegerNumbers
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/arithmetics?IntegerArithmetics
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/arithmetics?RationalNumbers
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/arithmetics?RationalArithmetics
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?RationalField
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://gl.mathhub.info/MMT/LFX/Sigma?LFSigma
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?ProductType
Declares http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?poly_con
constant http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?poly_con
Declares http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?monomial_con
constant http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?monomial_con
Declares http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?multi_poly_con
constant http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?multi_poly_con
datatypeconstructor http://mathhub.info/MitM/smglom/elliptic_curves?Base?power_series
datatypeconstructor http://mathhub.info/MitM/smglom/elliptic_curves?Base?polynomial
dataconstructor http://mathhub.info/MitM/smglom/elliptic_curves?Base?poly_con
theory http://mathhub.info/MitM/smglom/elliptic_curves?Base
HasMeta http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://gl.mathhub.info/MMT/LFX/Subtyping?SubSymbol
......@@ -40,10 +38,6 @@ Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.inf
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/Foundation?Literals
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/Foundation?Vectors
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/Foundation?Matrices
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://gl.mathhub.info/MMT/LFX/Datatypes?ListRules
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://gl.mathhub.info/MMT/LFX/Datatypes?LFLists
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/Foundation?Lists
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://cds.omdoc.org/urtheories?DHOL
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://cds.omdoc.org/urtheories?NatArith
......@@ -59,12 +53,13 @@ Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://cds.omdoc.o
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://cds.omdoc.org/urtheories?LFS
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/Foundation?Sequences
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/smglom/algebra?Polynomials
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://gl.mathhub.info/MMT/LFX/Datatypes?ListRules
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://gl.mathhub.info/MMT/LFX/Datatypes?LFLists
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/Foundation?Lists
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/smglom/arithmetics?RationalNumbers
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/smglom/arithmetics?RationalArithmetics
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/smglom/algebra?RationalField
Includes http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/smglom/algebra?RationalPolynomials
Declares http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/smglom/elliptic_curves?Base?power_series
constant http://mathhub.info/MitM/smglom/elliptic_curves?Base?power_series
Declares http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/smglom/elliptic_curves?Base?polynomial
constant http://mathhub.info/MitM/smglom/elliptic_curves?Base?polynomial
Declares http://mathhub.info/MitM/smglom/elliptic_curves?Base http://mathhub.info/MitM/smglom/elliptic_curves?Base?poly_con
constant http://mathhub.info/MitM/smglom/elliptic_curves?Base?poly_con
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment