3 ms·
This is the feature list from the link: - Use of Julia multiprecision integers and rationals - Finite fields (prime order, naive implementation only)
by red_trumpet 7y ago
This is the feature list from the link:
- Use of Julia multiprecision integers and rationals
- Finite fields (prime order, naive implementation only)
- Number fields (naive implementation only)
- Univariate polynomials
- Multivariate polynomials
- Relative and absolute power series
- Laurent series
- Fraction fields
- Residue rings, including Z/nZ
- Matrices and linear algebra
What exactly do you consider "numerical" here? AFAIU those are all standard constructions from abstract algebra and number theory.
- abjKT26nO8 7y agoYou're mostly right, with one (or two) exception: > Matrices and linear algebra. This isn't abstract algebra. It's used in abstract algebra, but that's true for linear algebra in almost any branch of mathematics. Also, depending on what exactly they implemented for Univariate polynomials, this part may also be numerical.
- omaranto 7y agoDid you look at the documentation? The matrices implemented have their elements in arbitrary commutative rings (well, not arbitrary, somebody has to implement them in Julia, of course, but they have a bunch). I think its fair to call that abstract algebra; I wouldn't it numeric. In my university, that's how we teach linear algebra to math majors but not to engineers, for example.
- deleted 7y ago[deleted]
- frabert 7y agoI'm more interested in applications to abstract interpretation, so number theory stuff does not interest me.