I am currently using my Dirichlet ring implementation again - I'd like to propose to include it into the distribution. I think, this ring gives a very nice structure to sequences, and it is indeed very useful for guessing purposes. The plain spad file is attached, of course I'd add testcases and some documentation if there is interest to include it.
Unfortunately, however, I stumbled over a strange bug again.
(1) -> )lib )dir .
DirichletRing is now explicitly exposed in frame frame1
DirichletRing will be automatically loaded when needed from
/home/martin/martin/TeXSource/Mathematik/Compositions/DIRRING.NRLIB/DIRRING
(2) -> (moebiusMu()$DIRRING FRAC INT - moebiusMu()$DIRRING FRAC INT).10
There are 1 exposed and 1 unexposed library operations named elt
having 1 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op elt
to learn more about the available operations. Perhaps
package-calling the operation or using coercions on the arguments
will allow you to apply the operation.
Cannot find application of object of type DirichletRing(Fraction(
Integer)) to argument(s) of type(s)
PositiveInteger
(2) -> x := (moebiusMu()$DIRRING FRAC INT - moebiusMu()$DIRRING FRAC INT)
(2) [0,0,0,0,0,0,0,0,0,0,...]
Type: DirichletRing(Fraction(Integer))
(3) -> x.10
(3) 0
Type: Fraction(Integer)
A little more information:
(4) -> )se me bo on
(4) -> (moebiusMu()$DIRRING FRAC INT - moebiusMu()$DIRRING FRAC INT).10
Function Selection for moebiusMu
Arguments: ()
Target type: DIRRING(FRAC(INT))
From: DIRRING(FRAC(INT))
[1] signature: () -> DIRRING(FRAC(INT))
implemented: slot $ from DIRRING(FRAC(INT))
Function Selection for moebiusMu
Arguments: ()
Target type: DIRRING(FRAC(INT))
From: DIRRING(FRAC(INT))
[1] signature: () -> DIRRING(FRAC(INT))
implemented: slot $ from DIRRING(FRAC(INT))
Function Selection for -
Arguments: (DIRRING(FRAC(INT)),DIRRING(FRAC(INT)))
[1] signature: (DIRRING(FRAC(INT)),DIRRING(FRAC(INT))) -> DIRRING(FRAC(INT))
implemented: slot $$$ from DIRRING(FRAC(INT))
Function Selection for elt
Arguments: (DIRRING(FRAC(INT)),SINT)
-> no function elt found for arguments (DIRRING(FRAC(INT)),SINT)
Function Selection for apply
Arguments: (DIRRING(FRAC(INT)),SINT)
-> no function apply found for arguments (DIRRING(FRAC(INT)),SINT)
Function Selection for map by coercion facility (map)
Arguments: ((FRAC(INT) -> INT),DIRRING(FRAC(INT)))
Target type: DIRRING(INT)
-> no function map found for arguments ((FRAC(INT) ->
INT),DIRRING(FRAC(INT)))
There are 1 exposed and 1 unexposed library operations named elt
having 1 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op elt
to learn more about the available operations. Perhaps
package-calling the operation or using coercions on the arguments
will allow you to apply the operation.
Cannot find application of object of type DirichletRing(Fraction(
Integer)) to argument(s) of type(s)
PositiveInteger
What is SINT doing here?
Martin
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
dirichlet.spad
Description: Binary data
