| .. |
|
Deprecated
|
mv back
|
2007-03-24 10:02:48 +00:00 |
|
AlgebraicStructureTraits.tex
|
minor change
|
2008-10-24 15:51:59 +00:00 |
|
AlgebraicStructureTraits_Div.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
AlgebraicStructureTraits_DivMod.tex
|
typo
|
2008-03-07 14:31:25 +00:00 |
|
AlgebraicStructureTraits_Divides.tex
|
added public type Boolean to Algebraic_structure_traits
|
2008-09-18 13:53:47 +00:00 |
|
AlgebraicStructureTraits_Gcd.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
AlgebraicStructureTraits_IntegralDivision.tex
|
added functor Divides, required by IntegralDomain
|
2008-07-16 09:20:44 +00:00 |
|
AlgebraicStructureTraits_IsOne.tex
|
added public type Boolean to Algebraic_structure_traits
|
2008-09-18 13:53:47 +00:00 |
|
AlgebraicStructureTraits_IsSquare.tex
|
added public type Boolean to Algebraic_structure_traits
|
2008-09-18 13:53:47 +00:00 |
|
AlgebraicStructureTraits_IsZero.tex
|
added public type Boolean to Algebraic_structure_traits
|
2008-09-18 13:53:47 +00:00 |
|
AlgebraicStructureTraits_KthRoot.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
AlgebraicStructureTraits_Mod.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
AlgebraicStructureTraits_RootOf.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
AlgebraicStructureTraits_Simplify.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
AlgebraicStructureTraits_Sqrt.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
AlgebraicStructureTraits_Square.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
AlgebraicStructureTraits_UnitPart.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
Algebraic_structure_traits.tex
|
added \ccIsModel vs. \ccHasModels
|
2007-03-24 11:39:28 +00:00 |
|
Coercion_traits.tex
|
…
|
|
|
EuclideanRing.tex
|
…
|
|
|
Euclidean_ring_tag.tex
|
…
|
|
|
ExplicitInteroperable.tex
|
minor change
|
2007-01-29 17:15:02 +00:00 |
|
Field.tex
|
rm ccPureVar
|
2007-04-17 17:52:09 +00:00 |
|
FieldNumberType.tex
|
added concept RingNumberType
|
2007-03-24 10:47:07 +00:00 |
|
FieldWithKthRoot.tex
|
…
|
|
|
FieldWithRootOf.tex
|
…
|
|
|
FieldWithSqrt.tex
|
…
|
|
|
Field_tag.tex
|
…
|
|
|
Field_with_kth_root_tag.tex
|
…
|
|
|
Field_with_root_of_tag.tex
|
…
|
|
|
Field_with_sqrt_tag.tex
|
…
|
|
|
Fraction.tex
|
rm warnings about undefined references
|
2007-04-15 16:25:56 +00:00 |
|
FractionTraits.tex
|
rm warnings about undefined references
|
2007-04-15 16:25:56 +00:00 |
|
FractionTraits_CommonFactor.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
FractionTraits_Compose.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
FractionTraits_Decompose.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
Fraction_traits.tex
|
added \ccIsModel vs. \ccHasModels
|
2007-03-24 11:39:28 +00:00 |
|
FromDoubleConstructible.tex
|
…
|
|
|
FromIntConstructible.tex
|
mv FromSmallIntConstructible.tex -> FromIntConstructible.tex
|
2007-02-15 16:40:32 +00:00 |
|
ImplicitInteroperable.tex
|
…
|
|
|
IntegralDomain.tex
|
added functor Divides, required by IntegralDomain
|
2008-07-16 09:20:44 +00:00 |
|
IntegralDomainWithoutDivision.tex
|
added public type Boolean to Algebraic_structure_traits
|
2008-09-18 13:53:47 +00:00 |
|
Integral_domain_tag.tex
|
…
|
|
|
Integral_domain_without_division_tag.tex
|
…
|
|
|
RealEmbeddable.tex
|
fixed concept name
|
2009-03-30 08:32:49 +00:00 |
|
RealEmbeddableTraits.tex
|
rename Real_embeddable_traits::Sign Sgn
|
2008-09-18 15:35:55 +00:00 |
|
RealEmbeddableTraits_Abs.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
RealEmbeddableTraits_Compare.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
RealEmbeddableTraits_IsNegative.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
RealEmbeddableTraits_IsPositive.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
RealEmbeddableTraits_IsZero.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
RealEmbeddableTraits_Sgn.tex
|
rename Real_embeddable_traits::Sign Sgn
|
2008-09-18 15:35:55 +00:00 |
|
RealEmbeddableTraits_ToDouble.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
RealEmbeddableTraits_ToDoubleInterval.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
RealEmbeddableTraits_ToInterval.tex
|
For Functors:
|
2007-04-15 16:15:01 +00:00 |
|
Real_embeddable_traits.tex
|
added \ccIsModel vs. \ccHasModels
|
2007-03-24 11:39:28 +00:00 |
|
RingNumberType.tex
|
- added Gmpzf to the list of models for RingNumberType
|
2007-08-07 11:38:29 +00:00 |
|
UniqueFactorizationDomain.tex
|
minor chages
|
2007-01-29 18:00:08 +00:00 |
|
Unique_factorization_domain_tag.tex
|
…
|
|
|
abs.tex
|
…
|
|
|
compare.tex
|
…
|
|
|
div.tex
|
…
|
|
|
div_mod.tex
|
…
|
|
|
gcd.tex
|
…
|
|
|
integral_division.tex
|
…
|
|
|
intro.tex
|
rename Real_embeddable_traits::Sign Sgn
|
2008-09-18 15:35:55 +00:00 |
|
is_negative.tex
|
…
|
|
|
is_one.tex
|
…
|
|
|
is_positive.tex
|
…
|
|
|
is_square.tex
|
…
|
|
|
is_zero.tex
|
…
|
|
|
kth_root.tex
|
…
|
|
|
main.tex
|
rename Real_embeddable_traits::Sign Sgn
|
2008-09-18 15:35:55 +00:00 |
|
mod.tex
|
…
|
|
|
open.tex
|
rm open.tex from manual for release 3.3
|
2007-03-24 11:56:59 +00:00 |
|
root_of.tex
|
…
|
|
|
sign.tex
|
rename Real_embeddable_traits::Sign Sgn
|
2008-09-18 15:35:55 +00:00 |
|
simplify.tex
|
…
|
|
|
sqrt.tex
|
…
|
|
|
square.tex
|
…
|
|
|
to_double.tex
|
…
|
|
|
to_interval.tex
|
…
|
|
|
unit_part.tex
|
…
|
|
