Closed jmichel7 closed 11 months ago
I think this should be doable. I don't believe we are using the assumption of integer type anywhere.
Excellent! I wait for this... Unless you want me to make a pr?
can you make the PR? I'll merge.
Thank you for merging! Are you going to do a release? It would be good to have this and also the function divisors
...
I'm going to give myself a few days (mainly because I might want to get https://github.com/JuliaMath/Primes.jl/pull/120 in also). that said if I haven't made a release in a week or so, feel free to bump this.
as for divisors, I'm probably not going to write the code myself, but if there was a PR for it I probably would merge (even though I kind of think the multiplicative functions might belong in a separate package)
But the code for divisors
is already there in master
!
oh, that will be very easy then :)
"if I haven't made a release in a week or so, feel free to bump this."
BUMP!
version tagged. sorry for the wait.
Can this be closed?
I have written code for factoring a univariate polynomial over a finite field, and over the integers (modules
Fact
andFFfac
in my packageGapjm
). I thought it would be convenient to usePrimes.Factorization
to store these factorizations. However, I cannot since it is written in several placesT<:Integer
.Are these annotations really useful? It seems to me they are not...