Hello,
Am I missing something, but I don't really understand the Description
of RadicalCategory in trigcat.spad:
++ Author:
++ Date Created:
++ Change History:
++ Basic Operations: nthRoot, sqrt, ^
++ Related Constructors:
++ Keywords: rational numbers
++ Description: The \spad{RadicalCategory} is a model for the rational numbers
Why are rational numbers mentioned here? I can understand its use for
AlgebraicNumbers, Floats or Complex(Float) for example but here I do
not understand. Fraction(Integer) hasn't RADCAT of course, that's
normal. I would better read something like "Category for radicals" to
mimic a little M. Brownstein after in this file. Do you have some
explanations?
From the GitLens extension in VSCode, this category was moved in
trigcat.spad from sf.spad in 2008 by Martin Rubey:
__________________________________________________________________
Martin Rubey 16 years ago (November 26th, 2008 9:52 PM)
move RADCAT from sf to trigcat, where it belongs. Add documentation concerning
branchcuts to log, acos, asin, atan
git-svn-id:
https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@447
b0c55286-4f34-0410-a049-a1e7e93b0762
__________________________________________________________________
- Greg