diff --git a/changelog b/changelog index c7ce080..77cfac3 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,4 @@ +20080222 tpd src/hyper/bookvol11 add additional hyperdoc page translations 20080222 tpd src/input/gamma.input 7099 logGamma vs log(Gamma) 20080221 wxh src/interp/sfsfun.boot increase precision of PI (236) 20080221 tpd src/input/gamma.input investigate complex gamma issues diff --git a/src/hyper/bookvol11.pamphlet b/src/hyper/bookvol11.pamphlet index b9f36fc..1bfc01b 100644 --- a/src/hyper/bookvol11.pamphlet +++ b/src/hyper/bookvol11.pamphlet @@ -567,6 +567,7 @@ PAGES=rootpage.xhtml \ dbopmonicdivide.xhtml \ dbopmulmod.xhtml \ dbopncols.xhtml \ + dbopnegativeq.xhtml \ dbopnew.xhtml \ dbopnextprime.xhtml \ dbopnorm.xhtml \ @@ -589,6 +590,7 @@ PAGES=rootpage.xhtml \ dboppi.xhtml \ dbopplus.xhtml \ dboppolygamma.xhtml \ + dboppositiveq.xhtml \ dboppositiveremainder.xhtml \ dbopprefixragits.xhtml \ dbopprevprime.xhtml \ @@ -9254,6 +9256,16 @@ the operations will have extra ones added at some stage. <> @ +\subsection{dbopnegativeq.xhtml} +<>= +<> + + +<> + dbopnegativeq not implemented +<> +@ + \subsection{dbopnew.xhtml} <>= <> @@ -9474,6 +9486,16 @@ the operations will have extra ones added at some stage. <> @ +\subsection{dboppositiveq.xhtml} +<>= +<> + + +<> + dboppositiveq not implemented +<> +@ + \subsection{dboppositiveremainder.xhtml} <>= <> @@ -38401,20 +38423,215 @@ to display the full list of operations defined by \subsection{numquotientfields.xhtml} <>= <> + <> - numquotientfields not implemented +The Fraction domain implements quotients. +The elements must belong to a domain of category +IntegralDomain: multiplication +must be commutative and the product of two non-zero elements must not be +zero. This allows you to make fractions of most things you would think of, +but don't expect to create a fraction of two matrices. The abbreviation for +Fraction is +FRAC. + +Use / to create a fraction. +
    +
  • + +
    +
    • +
  • + +
    +
    • +
+The standard arithmetic operations are available. +
    +
  • + +
    +
    • +
+Extract the numerator and denominator by using +numer and denom, +respectively. +
    +
  • + +
    +
    • +
  • + +
    +
    • +
+Operations like +max, min, +negative?, +positive?, and +zero? are all available if they are +provided for the numerators and denominators. See +Integer for examples. + +Don't expect a useful answer from +factor, +gcd, or +lcm if you apply them to fractions. +
    +
  • + +
    +
    • +
+Since all non-zero fractions are invertible, these operations have +trivial definitions. +
    +
  • + +
    +
    • +
+Use map to apply +factor to the numerator and denominator, +which is probably what you mean. +
    +
  • + +
    +
    • +
+ +Other forms of fractions are available, Use +continuedFraction +to create a continued fraction. +
    +
  • + +
    +
    • +
+Use partialFraction to create a +partial fraction. +See continuedFraction +and PartialFraction for +additional information and examples. +
    +
  • + +
    +
    • +
+Use conversion to create alternative views of fractions with objects +moved in and out of the numerator and denominator. +
    +
  • + +
    +
    • +
+Conversion is discussed in detail in +Conversion. +
    +
  • + +
    +
    • +
<> @ \subsection{numrationalnumbers.xhtml} <>= <> + <> - numrationalnumbers not implemented +Like integers, rational numbers can be arbitrarily large. For example: +
    +
  • + +
    +
    • +
+Rational numbers will not be converted to decimals unless you explicitly +ask Axiom to do so. To convert a rational number to a decimal, use the +function numeric. Here's an example: +
    +
  • + +
    +
    • +
  • + +
    +
    • +
+You can find the numerator and denominator of rational numbers using the +functions numer and +denom, respectively. +
    +
  • + +
    +
    • +
  • + +
    +
    • +
+To factor the numerator and denominator of a fraction, use the following +command: +
    +
  • + +
    +
    • +
<> @