Harutalcis
Harutalcis is a genus of moths in the family Geometridae described by Sato in 1993.[1]
| Harutalcis | |
|---|---|
| Scientific classification | |
| Kingdom: | |
| Phylum: | |
| Class: | |
| Order: | |
| Family: | |
| Genus: | Harutalcis Sato, 1993 |
Species
- Harutalcis atrostipata (Walker, 1862)
- Harutalcis fumigata (Bastelberger, 1909)
- Harutalcis glaucodisca (Swinhoe, 1894)
- Harutalcis godavariensis Sato, 1993
- Harutalcis megaspilaria (Moore, 1868)
- Harutalcis vialis (Moore, 1888)
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.
gollark: It's a theorem prover. It can tell you if certain statements/sets of statements are satisfiable, and if so how.
gollark: And I don't think rust does TCO in general.
gollark: Halting is a side effect though.
References
- Beccaloni, G.; Scoble, M.; Kitching, I.; Simonsen, T.; Robinson, G.; Pitkin, B.; Hine, A.; Lyal, C., eds. (2003). "Harutalcis". The Global Lepidoptera Names Index. Natural History Museum. Retrieved March 14, 2019.
- Pitkin, Brian & Jenkins, Paul. "Search results Family: Geometridae". Butterflies and Moths of the World. Natural History Museum, London.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.