Hydroginella angustata
Hydroginella angustata is a species of sea snail, a marine gastropod mollusk in the family Marginellidae, the margin snails.[2]
Hydroginella angustata | |
---|---|
Scientific classification | |
Kingdom: | |
Phylum: | |
Class: | |
(unranked): | |
Superfamily: | |
Family: | |
Subfamily: | |
Genus: | |
Species: | H. angustata |
Binomial name | |
Hydroginella angustata Boyer, Wakefield & McCleery, 2003[1] | |
Description
Distribution
gollark: But that makes this very mysterious.
gollark: I think it would make more sense as an attribute™ or something.
gollark: Broadly speaking, yes.
gollark: Oh hypermemetic ultrabees.
gollark: ```pythonfrom z3 import *iters = [ Int(f"x{i}") for i in range(40) ]solver = Solver()for n,x in enumerate(iters): if n == 0: solver.add(x == 1111111) else: last = iters[n - 1] solver.add(Or(x == last, (x * 2) == last, x == ((last * 3) + 1)))solver.add(iters[-1] == 1)print(solver.check())print(solver.model())```This is the *best* way to do collatz.
References
- Boyer, Wakefield & McCleery. 2003. Novapex 4 (2–3): 67–77. World Register of Marine Species, Retrieved 24 April 2010.
- Hydroginella angustata Boyer, Wakefield & McCleery, 2003. Retrieved through: World Register of Marine Species on 24 April 2010.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.