"Bill Page" <[EMAIL PROTECTED]> writes:
| On Fri, Aug 29, 2008 at 4:32 PM, Gabriel Dos Reis wrote:
| >
| > Certainly removal is best is you're confident that it does not cause
| > hassle for users. Do you have a count of the uses of "**" versus "^"
| > in the algebras? That may give some idea.
| >
|
| Just to get a rough idea I did:
|
| [EMAIL PROTECTED]:~/open-axiom-src/src/algebra# cat *.spad.pamphlet | sed
| 's/\w/\n/g' | grep '\*\*' | wc
| 2139 2667 10777
| [EMAIL PROTECTED]:~/open-axiom-src/src/algebra# cat *.spad.pamphlet | sed
| 's/\w/\n/g' | grep '\^' | wc
| 659 705 2482
|
| So there are about 3 times a many uses of ** then ^ in the algebra.
| Certainly keeping people happy might be a problem - and also checking
| for regressions.
Thanks. I asked the databases what they know about both operators.
Here is the answer.
Starts dribbling to a.txt (2008/8/30, 14:4:2).
(1) -> )di op ^
There are 6 exposed functions called ^ :
[1] Boolean -> Boolean from Boolean
[2] D -> D from D if D has BTAGG
[3] (D,Integer) -> D from D if D has DIVRING
[4] (D,Integer) -> D from D if D has GROUP
[5] (D,NonNegativeInteger) -> D from D if D has MONOID
[6] (D,PositiveInteger) -> D from D if D has SGROUP
(1) -> )di op **
There are 20 exposed functions called ** :
[1] (CardinalNumber,CardinalNumber) -> CardinalNumber from
CardinalNumber
[2] (DoubleFloat,DoubleFloat) -> DoubleFloat from DoubleFloat
[3] (D,Integer) -> D from D if D has DIVRING
[4] (D,D) -> D from D if D has ELEMFUN
[5] (Float,Float) -> Float from Float
[6] (D,NonNegativeInteger) -> D from D
if D has FS D2 and D2 has ORDSET and D2 has SGROUP
[7] (D,Integer) -> D from D if D has GROUP
[8] (PolynomialIdeals(D2,D3,D4,D5),NonNegativeInteger) ->
PolynomialIdeals(D2,D3,D4,D5)
from PolynomialIdeals(D2,D3,D4,D5)
if D2 has FIELD and D3 has OAMONS and D4 has ORDSET and D5
has POLYCAT(D2,D3,D4)
[9] ((D3 -> D3),NonNegativeInteger) -> (D3 -> D3) from
MappingPackage1 D3
if D3 has SETCAT
[10] (D,Integer) -> D from D
if D has MATCAT(D2,D3,D4) and D2 has RING and D3 has FLAGG
D2 and D4 has FLAGG D2 and D2 has FIELD
[11] (D,NonNegativeInteger) -> D from D
if D has MATCAT(D2,D3,D4) and D2 has RING and D3 has FLAGG
D2 and D4 has FLAGG D2
[12] (ModuleOperator(D2,D3),Integer) -> ModuleOperator(D2,D3)
from ModuleOperator(D2,D3)
if D2 has RING and D3 has LMODULE D2
[13] (BasicOperator,Integer) -> ModuleOperator(D3,D4)
from ModuleOperator(D3,D4)
if D3 has RING and D4 has LMODULE D3
[14] (D,PositiveInteger) -> D from D if D has MONAD
[15] (D,NonNegativeInteger) -> D from D if D has MONADWU
[16] (D,NonNegativeInteger) -> D from D if D has MONOID
[17] (D,Fraction Integer) -> D from D if D has RADCAT
[18] (D,PositiveInteger) -> D from D if D has SGROUP
[19] (D,Integer) -> D from D
if D has SMATCAT(D2,D3,D4,D5) and D3 has RING and D4 has
DIRPCAT(D2,D3) and D5 has DIRPCAT(D2,D3) and D3 has FIELD
[20] (D,D1) -> D from D
if D has UTSCAT D1 and D1 has RING and D1 has FIELD
There are 18 unexposed functions called ** :
[1] (D1,Fraction Integer) -> D1 from AlgebraicFunction(D3,D1)
if D3 has RETRACT INT and D3 has Join(OrderedSet,
IntegralDomain) and D1 has FS D3
[2] (D1,D1) -> D1 from CombinatorialFunction(D2,D1)
if D2 has Join(OrderedSet,IntegralDomain) and D1 has FS D2
[3] (D1,Fraction Integer) -> D1
from ElementaryFunctionsUnivariateLaurentSeries(D3,D4,D1)
if D3 has FIELD and D3 has ALGEBRA FRAC INT and D4 has
UTSCAT D3 and D1 has ULSCCAT(D3,D4)
[4] (D1,Fraction Integer) -> D1
from ElementaryFunctionsUnivariatePuiseuxSeries(D3,D4,D1,D5
)
if D3 has FIELD and D3 has ALGEBRA FRAC INT and D4 has
ULSCAT D3 and D1 has UPXSCCA(D3,D4) and D5 has PTRANFN D4
[5] (D1,Integer) -> FreeGroup D1 from FreeGroup D1 if D1 has SETCAT
[6] (D1,NonNegativeInteger) -> FreeMonoid D1 from FreeMonoid D1
if D1 has SETCAT
[7] (Vector D3,Integer) -> Vector D3 from
InnerNormalBasisFieldFunctions D3
if D3 has FFIELDC
[8] (InputForm,Integer) -> InputForm from InputForm
[9] (InputForm,NonNegativeInteger) -> InputForm from InputForm
[10] (Matrix D3,NonNegativeInteger) -> Matrix D3
from StorageEfficientMatrixOperations D3 if D3 has RING
[11] (D1,NonNegativeInteger) -> OrderedFreeMonoid D1
from OrderedFreeMonoid D1 if D1 has ORDSET
[12] (Operator D2,Integer) -> Operator D2 from Operator D2 if D2 has
RING
[13] (BasicOperator,Integer) -> Operator D3 from Operator D3 if D3
has RING
[14] (OutputForm,OutputForm) -> OutputForm from OutputForm
[15] (Pattern D1,Pattern D1) -> Pattern D1 from Pattern D1 if D1 has
SETCAT
[16] (Pattern D2,NonNegativeInteger) -> Pattern D2 from Pattern D2
if D2 has SETCAT
[17] (Stream D2,Stream D2) -> Stream D2
from StreamTranscendentalFunctionsNonCommutative D2
if D2 has ALGEBRA FRAC INT
[18] (Stream D2,Stream D2) -> Stream D2
from StreamTranscendentalFunctions D2 if D2 has ALGEBRA
FRAC INT
(1) -> )quit
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
