Hi Tim,
Your observations seem sound. Keep in mind, however, that we're not
confronted with an either/or choice. The chicken/egg aspect of literate
executables means that, in your context, we can arrange for the PDF to
generate code *and* for the code to generate PDF. Cyclic dependency
g
As I mentioned, I really like your idea of embedding code in various
support tools such as make, grep, etc. It would prevent code-rot as
it would be possible (assuming C++ would hold still for a week) to
be able to recreate the support tool. Axiom uses git. That makes it
possible to check out a par
(12) -> solve((x^3+x-1)::Polynomial(FiniteField(3,2)))
(12) [x = 2, x = 2 %A + 2, x = %A + 2]
Type: List(Equation(Fraction(Polynomial(FiniteField(3,2)
(13) -> PF ==> Polynomial(FiniteField(3,2))
Type: Void
(15) -> solve([(x^3+y^2-1)::PF
Hello, axiom mailng-list users.
Is there a way to solve a system of equations over finite field?
I try to use "solveInField()", but no luck, also hyperDoc is stalled.
Any guidance appreciated.
Thanks in advance.
Voloshin Savva.
Hi Tim,
Thanks for your feedback, and for pointing me to Axiom.
One "literacy" aspect of literate executables is that the latter can "give
an account of themselves," in the sense of dumping their own source ---
and their own documentation, which of course can be a literate program!
Imagin
