flancian/garden
0
0
Fork 0
mirror of https://github.com/flancian/garden.git synced 2026-08-07 23:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

autopushed

Browse Source
This commit is contained in:
Flancian
2023-09-24 18:57:10 +02:00
parent f823cb282e
commit 96fe03e8a3
1 changed files with 1 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bin/primes.py
+1 -8
View File
@@ -10,13 +10,6 @@ import math
# I'm not proud (I am a little bit?). # I'm not proud (I am a little bit?).
PROOF = [] # :) PROOF = [] # :)
class RichGroup(click.Group):
def format_help(self, ctx, formatter):
sio = io.StringIO()
console = rich.Console(file=sio, force_terminal=True)
console.print("Hello, [bold magenta]World[/bold magenta]!", ":vampire:")
formatter.write(sio.getvalue())
def factor(n): def factor(n):
for i in range(2, n+1): for i in range(2, n+1):
click.echo(f"Is {i} a factor of {n}, I wonder?") click.echo(f"Is {i} a factor of {n}, I wonder?")
@@ -47,7 +40,7 @@ def is_prime(n):
# click.echo(f"Sieve: {is_prime}.") # click.echo(f"Sieve: {is_prime}.")
return is_prime[n] return is_prime[n]
@click.group(cls=RichGroup) @click.command(cls=AgoraCommand)
@click.argument('n', type=click.INT) @click.argument('n', type=click.INT)
def prime(n): def prime(n):
"""Simple program that factors a number using a [[Sieve of Eratosthenes]].""" """Simple program that factors a number using a [[Sieve of Eratosthenes]]."""