#continuedfractions β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #continuedfractions, aggregated by home.social.
-
In (canonical, simple) Continued Fraction (CFs) representation, every real number is a list starting with an integer πβ and followed by some number (possibly none) of positive integers [πβ, πβ, ...]. In strictly typed programming languages, this is essentially a non-empty list; for example, in Haskell, one can use Data.List.NonEmpty and the CF becomes (πβ :| [πβ, πβ, ...]) = (πβ :| tail).
Haskell's strict typing enforces the non-empty aspect of CFs. The CF list must be non-empty, so we can think of it as a head (the πβ term) and a (possibly empty) tail (the [πβ, πβ, ...] terms). If the tail is empty, then the number is an integer. So the natural numbers 0, 1, 2, ... become (0 :| []), (1 :| []), (2 :| []) and so on in CF representation.
Now, taking reciprocal in CF representation involves either removing πβ if it is 0, or prepending 0 to the whole list. Focusing on the first case, if πβ is 0, then we remove that from the list and keep only the tail terms. This step combined with strict typing shows why there is no reciprocal of 0.
If we start with (0 :| []), remove 0 and only keep the tail then we are left with just the empty list []. However, every real number corresponds to a non-empty list and CFs don't allow empty lists.
Therefore the reciprocal of 0 is not a real number.
#math #ContinuedFractions #type #theory #haskell #FunctionalPrograming
-
CW: Rosetta Code
I added #OwlLisp to the repertoire of my answers to the #ContinuedFractions arithmetic draft-task on #RosettaCode:
Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2) - Rosetta Code https://rosettacode.org/wiki/Continued_fraction/Arithmetic/G(matrix_ng,_continued_fraction_n1,_continued_fraction_n2)#Owl_Lisp
-
CW: Rosetta Code
I translated, from #Mercury to #Haskell, the #ContinuedFractions #RosettaCode draft task:
Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2) - Rosetta Code https://rosettacode.org/wiki/Continued_fraction/Arithmetic/G(matrix_ng,_continued_fraction_n1,_continued_fraction_n2)#Haskell
I have decided there isnβt a single thing I like about Haskell syntax. I do not care how one writes a thing, I hate it. There is no reason whatsoever for Haskell not to have had a more ML-like syntax. None whatsoever, except to encourage breakage.
-
CW: Rosetta Code
An implementation of the #RosettaCode #ContinuedFractions arithmetic draft task, in #Mercury, based very loosely on the #StandardML (that is based on the #Scheme and the #Python:
Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2) - Rosetta Code https://rosettacode.org/wiki/Continued_fraction/Arithmetic/G(matrix_ng,_continued_fraction_n1,_continued_fraction_n2)#Mercury
The implementation uses #LazyLists to represent continued fractions.
-
CW: Rosetta Code
The #StandardML was a particular pleasure to write:
Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2) - Rosetta Code https://rosettacode.org/wiki/Continued_fraction/Arithmetic/G(matrix_ng,_continued_fraction_n1,_continued_fraction_n2)#Standard_ML
-
CW: Rosetta Code
I have now done the #RosettaCode #ContinuedFractions arithmetic draft task in #Ada --
Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2) - Rosetta Code https://rosettacode.org/wiki/Continued_fraction/Arithmetic/G(matrix_ng,_continued_fraction_n1,_continued_fraction_n2)#Ada
I credit my own Python implementation as the original, although the Ada is quite different. Interestingly, I use βinheritanceβ in the Ada but not in the Python! One might ask why ...
-
CW: Rosetta Code
This took a few days of overwork and obsessive overexcitement to write. A #Fortran port of my #RosettaCode for #ContinuedFractions, including a primitive #MultiplePrecision module:
Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2) - Rosetta Code https://rosettacode.org/wiki/Continued_fraction/Arithmetic/G(matrix_ng,_continued_fraction_n1,_continued_fraction_n2)#Fortran
Part of the problem, as I have mentioned before, is that gfortran is not especially helpful in tracking down bugs. But I see gdb has gotten better with Fortran.
-
@[email protected] (https://gdaymath.com/) writes (https://twitter.com/jamestanton/status/1613485564006637568):
βIt is impossible to draw an equilateral triangle on a square lattice of dots with each vertex on a dot. (Why?) But can we get close?Is it possible to have two vertices on a dot and the third within 0.00000001 units from a dot?
(The picture is not equilateral.)β
#geometry #math #ContinuedFractions #ApproximateInteger #PicksTheorem
-
Last few nights I've been working on another mental calculation. In this episode of #CountingSheep, I bring you #PellsEquation and #ContinuedFractions.