<commit_before>Basics
   Mutable
   Equality ==?
   PartialOrdering NC
   Extrema top, bottom
   NumericOrder
     Poset <=
     Lattice max, min
     SemidecidablePoset
    <=?, maybeCompareDefaultEffort
     RoundedLattice maxUp, minmaxDefaultEffort
   RefinementOrder
     Poset |<=
     Basis |_|? consistent
     Lattice |_|, |^|
     SemidecidablePoset |<=?
     OuterRoundedBasis <|_|>? maybeConsistent
     OuterRoundedLattice <|_|>
     InnerRoundedBasis >|_|<?
     InnerRoundedLattice >|_|<
   Granularity setMinGranularity, getMaxGranularity
   Interval (endpoints)
     NumericOrder instances
     RefinementOrder instances
   Product (list, map) instances
     NumericOrder instances
     RefinementOrder instances
   Laws
     Relation (LawR) transitive, ...
     SemidecidableRelation (LawSR) transitive, ...
     Operation (LawO) associative, distributive
     RoundedOperation (LawRndO) upDown, associative
     OperationRelation (LawOR) supremum
     RoundedOperationRelation (LawRndOR) ..ditto..

RealArithmetic
  NumericOrderRounding
    Numerals int, ratio, double
    RoundedRing +^, +_, *^, *_
      addDefaultEffort
      timesDefaultEffort
    RoundedField /^, /_
      divideDefaultEffort
    RoundedElementary
  Basis
    Double
      Granularity, Lattice, Numerals,
      RoundedField instances
    UnlimitedFloat
    MPFR
  RefinementOrderRounding
    Numerals int, ratio, double
    OuterRoundedRing <+>, <*>
      outerAddDefaultEffort
      outerTimesDefaultEffort
    OuterRoundedField </>
       outerDivideDefaultEffort
    OuterRoundedElementary
    InnerRoundedRing >+<, >*<
    InnerRounded...
  Interval
    Generic (instances)
      Numerals, OuterRoundedField
      OuterRoundedElementaryDirect
      OuterRoundedElementaryViaBasis
    Double - for convenient import
    UnlimitedFloat
    MPFR
  Product instances

FunctionArithmetic
  HasDomain
  HasCodomain
  NumericOrderRounding classes
    BasicFunctions (const, projection, affine)
    Evaluate
    Compose
    SplittableDomain
  Basis
    ChebPoly
    ChebPolyMutable
    Ariadne ?
  RefinementOrderRounding classes
    OuterBasicFunctions, Inner...
    OuterEvaluate, InnerEvaluate
    Composition
    OuterSplittableDomain
    Partition
    Differentiation
    Integration
  Implementation
    DomainTranslation
    DomainEdges<commit_msg>Updates of the Interval module hierarchy.<commit_after>Basics
   Mutable
   Effort (EffortIndicator type)
   Equality ==?
   PartialOrdering NC
   Extrema top, bottom
   NumericOrder (NumOrd)
     Poset (<=)
     Lattice (max, min)
     SemidecidablePoset
       (<=?, maybeCompareDefaultEffort)
     RoundedLattice (maxUp, minmaxDefaultEffort)
   RefinementOrder (RefOrd)
     Poset |<=
     Basis |\/? consistent
     Lattice |\/, |/\
     SemidecidablePoset |<=?
     OuterRoundedBasis <|\/>? maybeConsistent
     OuterRoundedLattice <|\/>
     InnerRoundedBasis >|\/<?
     InnerRoundedLattice >|\/<
   Granularity setMinGranularity, getMaxGranularity
   Interval (endpoints)
     GenericImplementation
       NumericOrder
       RefinementOrder
   Product (list, map) instances
     NumericOrder instances
     RefinementOrder instances
   Laws
     Relation (LawR) transitive, ...
     SemidecidableRelation (LawSR) transitive, ...
     Operation (LawO) associative, distributive
     RoundedOperation (LawRndO) upDown, associative
     OperationRelation (LawOR) supremum
     RoundedOperationRelation (LawRndOR) ..ditto..

RealArithmetic
  NumericOrderRounding
    Numerals int, ratio, double
    RoundedRing +^, +_, *^, *_
      addDefaultEffort
      timesDefaultEffort
    RoundedField /^, /_
      divideDefaultEffort
    RoundedElementary
  Basis
    Double
      Granularity, Lattice, Numerals,
      RoundedField instances
    UnlimitedFloat
    MPFR
  RefinementOrderRounding
    Numerals int, ratio, double
    OuterRoundedRing <+>, <*>
      outerAddDefaultEffort
      outerTimesDefaultEffort
    OuterRoundedField </>
       outerDivideDefaultEffort
    OuterRoundedElementary
    InnerRoundedRing >+<, >*<
    InnerRounded...
  Interval
    GenericImplementation
      OuterRoundedElementary
    Double - for convenient import
    UnlimitedFloat
    MPFR
  Product instances

FunctionArithmetic
  HasDomain
  HasCodomain
  NumericOrderRounding classes
    BasicFunctions (const, projection, affine)
    Evaluate
    Compose
    SplittableDomain
  Basis
    ChebPoly
    ChebPolyMutable
    Ariadne ?
  RefinementOrderRounding classes
    OuterBasicFunctions, Inner...
    OuterEvaluate, InnerEvaluate
    Composition
    OuterSplittableDomain
    Partition
    Differentiation
    Integration
  Implementation
    DomainTranslation
    DomainEdges
{'fraction_non_alphanumeric': 0.06117247238742566, 'fraction_numerical': 0.0, 'mean_word_length': 3.1234676007005255, 'pattern_counts': {'":': 0, '<': 29, '<?xml version=': 0, '>': 21, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1397996', 'n_tokens_mistral': 1495, 'n_tokens_neox': 1410, 'n_words': 296}