Merge branch 'dev'

Miguel Barão
2 parents 2fa34906 dde72423
Showing 19 changed files with 228 additions and 237 deletions Show diff stats
BUGS.md
README.md
aprendizations/__init__.py
aprendizations/initdb.py
aprendizations/learnapp.py
aprendizations/main.py
aprendizations/serve.py
aprendizations/templates/courses.html
aprendizations/templates/include-libs.html
aprendizations/templates/login.html
aprendizations/templates/maintopics-table.html
aprendizations/templates/rankings.html
aprendizations/templates/topic.html
demo/courses.yaml
demo/math.yaml
demo/math/learn-prime-numbers/learn.yaml
demo/math/questions.yaml
mypy.ini
setup.py
@@ -26,6 +26,9 @@
 ## TODO
+- ordenação que faça sentido, organizada por chapters.
+- chapters deviam ser automaticamente checkados...
+- hints dos topicos fechados com as dependencias desse topico que ainda faltam
 - alterar tabelas para incluir email de recuperacao de password (e outros
   avisos)
 - shuffle das perguntas dentro de um topico
 # Getting Started
-Latest review: 2021-11-08
+Latest review: 2022-04-04
 ## Installation
@@ -27,7 +27,7 @@ operating system default.
 ```sh
 sudo pkg install python3 py38-sqlite3   # FreeBSD
 sudo apt install python3                # Linux (Ubuntu)
-sudo port install python39              # MacOS
+sudo port install python310             # MacOS
 ```
 ### Install pip
@@ -37,15 +37,18 @@ Install `pip` from the system package manager:
 ```sh
 sudo pkg install py38-pip          # FreeBSD
 sudo apt install python3-pip       # Linux (Ubuntu)
-sudo port install py39-pip         # MacOS
+sudo port install py310-pip        # MacOS
 ```
 In the end you should be able to run `pip --version` and `python3 -c "import
 sqlite3"` without errors.
 In some systems, `pip` can be named `pip3`, `pip3.8` or `pip-3.8`, etc.
-Packages should **not** be installed system-wide. To install locally in the user
-area, edit the configuration file `~/.config/pip/pip.conf` (FreeBSD, Linux) or
+Packages should **not** be installed system-wide. Either install them to a
+python virtual environment or in the user area.
+
+To install in the user area use `pip install --user some_package` or edit the
+configuration file `~/.config/pip/pip.conf` (FreeBSD, Linux) or
 `Library/Application Support/pip/pip.conf` (MacOS) and add the lines
 ```ini
@@ -62,7 +65,7 @@ pip install git+https://git.xdi.uevora.pt/mjsb/aprendizations.git
 Python packages are usually installed in:
 * `~/.local/lib/python3.8/site-packages/` in Linux/FreeBSD.
-* `~/Library/python/3.9/lib/python/site-packages/` in MacOS.
+* `~/Library/python/3.10/lib/python/site-packages/` in MacOS.
 When aprendizations is installed with pip, all the dependencies are also
 installed.
@@ -72,7 +75,7 @@ installed in
 ```sh
 ~/.local/bin                          # Linux/FreeBSD
-~/Library/Python/3.9/bin              # MacOS
+~/Library/Python/3.10/bin             # MacOS
 ```
 and can be run from the terminal:
@@ -30,7 +30,7 @@ are progressively uncovered as the students progress.
 '''
 APP_NAME = 'aprendizations'
-APP_VERSION = '2021.11.dev1'
+APP_VERSION = '2022.08.dev1'
 APP_DESCRIPTION = __doc__
 __author__ = 'Miguel Barão'
@@ -84,25 +84,24 @@ def get_students_from_csv(filename):
         'skipinitialspace': True,
         }
+    students = []
     try:
         with open(filename, encoding='iso-8859-1') as file:
             csvreader = csv.DictReader(file, **csv_settings)
             students = [{
                 'uid': s['N.º'],
                 'name': capwords(re.sub(r'\(.*\)', '', s['Nome']).strip())
-            } for s in csvreader]
+                } for s in csvreader]
     except OSError:
         print(f'!!! Error reading file "{filename}" !!!')
-        students = []
     except csv.Error:
         print(f'!!! Error parsing CSV from "{filename}" !!!')
-        students = []
     return students
 # ===========================================================================
-def show_students_in_database(session, verbose=False):
+def show_students_in_database(session, verbose=False) -> None:
     '''shows students in the database'''
     users = session.execute(select(Student)).scalars().all()
     total = len(users)
@@ -136,7 +135,7 @@ def main():
     Base.metadata.create_all(engine)  # Creates schema if needed
     session = Session(engine, future=True)
-    # --- build list of students to insert/update
+    # --- make list of students to insert/update
     students = []
     for csvfile in args.csvfile:
@@ -145,24 +144,22 @@ def main():
     if args.admin:
         students.append({'uid': '0', 'name': 'Admin'})
-    if args.add:
+    if args.add is not None:
         for uid, name in args.add:
             students.append({'uid': uid, 'name': name})
     # --- only insert students that are not yet in the database
     print('\nInserting new students:')
+    db_students = session.execute(select(Student.id)).scalars().all()
+    new_students = [s for s in students if s['uid'] not in set(db_students)]
+    for student in new_students:
+        print(f'  {student["uid"]}, {student["name"]}')
-    db_students = set(session.execute(select(Student.id)).scalars().all())
-    new_students = (s for s in students if s['uid'] not in db_students)
-    count = 0
-    for s in new_students:
-        print(f'  {s["uid"]}, {s["name"]}')
-
-        pw = args.pw or s['uid']
-        hashed_pw = bcrypt.hashpw(pw.encode('utf-8'), bcrypt.gensalt())
-
-        session.add(Student(id=s['uid'], name=s['name'], password=hashed_pw))
-        count += 1
+        passwd = args.pw or student['uid']
+        hashed_pw = bcrypt.hashpw(passwd.encode('utf-8'), bcrypt.gensalt())
+        session.add(Student(id=student['uid'],
+                            name=student['name'],
+                            password=hashed_pw))
     try:
         session.commit()
@@ -170,23 +167,24 @@ def main():
         print('!!! Integrity error. Aborted !!!\n')
         session.rollback()
     else:
-        print(f'Total {count} new student(s).')
+        print(f'Total {len(new_students)} new student(s).')
-    # --- update data for student in the database
+    # --- update data for students in the database
     if args.update:
         print('\nUpdating passwords of students:')
         count = 0
         for sid in args.update:
             try:
-                s = session.execute(select(Student).filter_by(id=sid)).scalar_one()
+                query = select(Student).filter_by(id=sid)
+                student = session.execute(query).scalar_one()
             except NoResultFound:
                 print(f'  -> student {sid} does not exist!')
                 continue
-            else:
-                print(f'  {sid}, {s.name}')
-                count += 1
-            pw = args.pw or sid
-            s.password = bcrypt.hashpw(pw.encode('utf-8'), bcrypt.gensalt())
+            count += 1
+            print(f'  {sid}, {student.name}')
+            passwd = (args.pw or sid).encode('utf-8')
+            student.password = bcrypt.hashpw(passwd, bcrypt.gensalt())
+
         session.commit()
         print(f'Total {count} password(s) updated.')
@@ -6,7 +6,6 @@ This is the main controller of the application.
 # python standard library
 import asyncio
 from collections import defaultdict
-# from contextlib import contextmanager  # `with` statement in db sessions
 from datetime import datetime
 import logging
 from random import random
@@ -45,26 +44,33 @@ class LearnApp():
     '''
     LearnApp - application logic
-      self.deps - networkx topic dependencies
-      self.courses - dict {course_id: {'title': ...,
-                                       'description': ...,
-                                       'goals': ...,}, ...}
-      self.factory = dict {qref: QFactory()}
-      self.online - dict {student_id: {'number': ...,
-                                       'name': ...,
-                                       'state': StudentState(),
-                                       'counter': ...}, ...}
+    self.deps = networkx topic dependencies
+    self.courses = {
+        course_id: {
+            'title': ...,
+            'description': ...,
+            'goals': ...,
+            }, ...
+        }
+    self.factory = { qref: QFactory() }
+    self.online = {
+        student_id: {
+            'number': ...,
+            'name': ...,
+            'state': StudentState(),
+            'counter': ...
+            }, ...
+        }
     '''
-    # ------------------------------------------------------------------------
     def __init__(self,
                  courses: str,  # filename with course configurations
                  prefix: str,   # path to topics
-                 db: str,       # database filename
+                 dbase: str,    # database filename
                  check: bool = False) -> None:
-        self._db_setup(db)       # setup database and check students
-        self.online: Dict[str, Dict] = dict()    # online students
+        self._db_setup(dbase)       # setup database and check students
+        self.online: Dict[str, Dict] = {}    # online students
         try:
             config: Dict[str, Any] = load_yaml(courses)
@@ -85,7 +91,6 @@ class LearnApp():
         # load other course files with the topics the their deps
         for course_file in config.get('topics_from', []):
             course_conf = load_yaml(course_file)    # course configuration
-            # FIXME set defaults??
             logger.info('%6d topics from %s',
                         len(course_conf["topics"]), course_file)
             self._populate_graph(course_conf)
@@ -114,7 +119,6 @@ class LearnApp():
         if check:
             self._sanity_check_questions()
-    # ------------------------------------------------------------------------
     def _sanity_check_questions(self) -> None:
         '''
         Unit tests for all questions
@@ -124,10 +128,10 @@ class LearnApp():
         logger.info('Starting sanity checks (may take a while...)')
         errors: int = 0
-        for qref in self.factory:
+        for qref, qfactory in self.factory.items():
             logger.debug('checking %s...', qref)
             try:
-                question = self.factory[qref].generate()
+                question = qfactory.generate()
             except QuestionException as exc:
                 logger.error(exc)
                 errors += 1
@@ -159,7 +163,6 @@ class LearnApp():
             raise LearnException('Sanity checks')
         logger.info('     0 errors found.')
-    # ------------------------------------------------------------------------
     async def login(self, uid: str, password: str) -> bool:
         '''user login'''
@@ -212,13 +215,11 @@ class LearnApp():
         return pw_ok
-    # ------------------------------------------------------------------------
     def logout(self, uid: str) -> None:
         '''User logout'''
         del self.online[uid]
         logger.info('User "%s" logged out', uid)
-    # ------------------------------------------------------------------------
     async def change_password(self, uid: str, password: str) -> bool:
         '''
         Change user Password.
@@ -242,7 +243,6 @@ class LearnApp():
         logger.info('User "%s" changed password', uid)
         return True
-    # ------------------------------------------------------------------------
     async def check_answer(self, uid: str, answer) -> Question:
         '''
         Checks answer and update database.
@@ -271,7 +271,6 @@ class LearnApp():
         return question
-    # ------------------------------------------------------------------------
     async def get_question(self, uid: str) -> Optional[Question]:
         '''
         Get the question to show (current or new one)
@@ -318,7 +317,6 @@ class LearnApp():
         return question
-    # ------------------------------------------------------------------------
     def start_course(self, uid: str, course_id: str) -> None:
         '''Start course'''
@@ -331,16 +329,10 @@ class LearnApp():
         else:
             logger.info('User "%s" course "%s"', uid, course_id)
-    # ------------------------------------------------------------------------
-    #
-    # ------------------------------------------------------------------------
     async def start_topic(self, uid: str, topic: str) -> None:
         '''Start new topic'''
         student = self.online[uid]['state']
-        # if uid == '0':
-        #     logger.warning('Reloading "%s"', topic)  # FIXME should be an option
-        #     self.factory.update(self._factory_for(topic))
         try:
             await student.start_topic(topic)
@@ -350,9 +342,6 @@ class LearnApp():
         else:
             logger.info('User "%s" started topic "%s"', uid, topic)
-    # ------------------------------------------------------------------------
-    #
-    # ------------------------------------------------------------------------
     def _add_missing_topics(self, topics: Iterable[str]) -> None:
         '''
         Fill db table 'Topic' with topics from the graph, if new
@@ -365,7 +354,6 @@ class LearnApp():
                 session.commit()
                 logger.info('Added %d new topic(s) to the database', len(new))
-    # ------------------------------------------------------------------------
     def _db_setup(self, database: str) -> None:
         '''
         Setup and check database contents
@@ -373,12 +361,12 @@ class LearnApp():
         logger.info('Checking database "%s":', database)
         if not exists(database):
-            raise LearnException('Database does not exist. '
-                                 'Use "initdb-aprendizations" to create')
+            msg = 'Database does not exist.'
+            logger.error(msg)
+            raise LearnException(msg)
         self._engine = create_engine(f'sqlite:///{database}', future=True)
-
         try:
             query_students = select(func.count(Student.id))
             query_topics = select(func.count(Topic.id))
@@ -395,7 +383,6 @@ class LearnApp():
             logger.info('%6d topics', count_topics)
             logger.info('%6d answers', count_answers)
-    # ------------------------------------------------------------------------
     def _populate_graph(self, config: Dict[str, Any]) -> None:
         '''
         Populates a digraph.
@@ -429,7 +416,7 @@ class LearnApp():
             topic = self.deps.nodes[tref]  # get current topic node
             topic['name'] = attr.get('name', tref)
-            topic['questions'] = attr.get('questions', [])  # FIXME unused??
+            topic['questions'] = attr.get('questions', [])
             for k, default in defaults.items():
                 topic[k] = attr.get(k, default)
@@ -437,12 +424,10 @@ class LearnApp():
             # prefix/topic
             topic['path'] = join(self.deps.graph['prefix'], tref)
-
-    # ========================================================================
+    # ------------------------------------------------------------------------
     # methods that do not change state (pure functions)
-    # ========================================================================
-
     # ------------------------------------------------------------------------
+
     def _make_factory(self) -> Dict[str, QFactory]:
         '''
         Buils dictionary of question factories
@@ -451,7 +436,7 @@ class LearnApp():
         '''
         logger.info('Building questions factory:')
-        factory = dict()
+        factory = {}
         for tref in self.deps.nodes:
             factory.update(self._factory_for(tref))
@@ -462,7 +447,7 @@ class LearnApp():
     # makes factory for a single topic
     # ------------------------------------------------------------------------
     def _factory_for(self, tref: str) -> Dict[str, QFactory]:
-        factory: Dict[str, QFactory] = dict()
+        factory: Dict[str, QFactory] = {}
         topic = self.deps.nodes[tref]  # get node
         # load questions as list of dicts
         try:
@@ -519,38 +504,31 @@ class LearnApp():
         return factory
-    # ------------------------------------------------------------------------
     def get_login_counter(self, uid: str) -> int:
-        '''login counter''' # FIXME
+        '''login counter'''
         return int(self.online[uid]['counter'])
-    # ------------------------------------------------------------------------
     def get_student_name(self, uid: str) -> str:
         '''Get the username'''
         return self.online[uid].get('name', '')
-    # ------------------------------------------------------------------------
     def get_student_state(self, uid: str) -> List[Dict[str, Any]]:
         '''Get the knowledge state of a given user'''
         return self.online[uid]['state'].get_knowledge_state()
-    # ------------------------------------------------------------------------
     def get_student_progress(self, uid: str) -> float:
         '''Get the current topic progress of a given user'''
         return float(self.online[uid]['state'].get_topic_progress())
-    # ------------------------------------------------------------------------
     def get_current_question(self, uid: str) -> Optional[Question]:
         '''Get the current question of a given user'''
         question: Optional[Question] = self.online[uid]['state'].get_current_question()
         return question
-    # ------------------------------------------------------------------------
     def get_current_question_id(self, uid: str) -> str:
         '''Get id of the current question for a given user'''
         return str(self.online[uid]['state'].get_current_question()['qid'])
-    # ------------------------------------------------------------------------
     def get_student_question_type(self, uid: str) -> str:
         '''Get type of the current question for a given user'''
         return str(self.online[uid]['state'].get_current_question()['type'])
@@ -559,12 +537,10 @@ class LearnApp():
     # def get_student_topic(self, uid: str) -> str:
     #     return str(self.online[uid]['state'].get_current_topic())
-    # ------------------------------------------------------------------------
     def get_student_course_title(self, uid: str) -> str:
         '''get the title of the current course for a given user'''
         return str(self.online[uid]['state'].get_current_course_title())
-    # ------------------------------------------------------------------------
     def get_current_course_id(self, uid: str) -> Optional[str]:
         '''get the current course (id) of a given user'''
         cid: Optional[str] = self.online[uid]['state'].get_current_course_id()
@@ -574,7 +550,6 @@ class LearnApp():
     # def get_topic_name(self, ref: str) -> str:
     #     return str(self.deps.nodes[ref]['name'])
-    # ------------------------------------------------------------------------
     def get_current_public_dir(self, uid: str) -> str:
         '''
         Get the path for the 'public' directory of the current topic of the
@@ -586,21 +561,18 @@ class LearnApp():
         prefix: str = self.deps.graph['prefix']
         return join(prefix, topic, 'public')
-    # ------------------------------------------------------------------------
     def get_courses(self) -> Dict[str, Dict[str, Any]]:
         '''
         Get dictionary with all courses {'course1': {...}, 'course2': {...}}
         '''
         return self.courses
-    # ------------------------------------------------------------------------
     def get_course(self, course_id: str) -> Dict[str, Any]:
         '''
         Get dictionary {'title': ..., 'description':..., 'goals':...}
         '''
         return self.courses[course_id]
-    # ------------------------------------------------------------------------
     def get_rankings(self, uid: str, cid: str) -> List[Tuple[str, str, float]]:
         '''
         Returns rankings for a certain cid (course_id).
@@ -626,18 +598,18 @@ class LearnApp():
             student_topics = session.execute(query_student_topics).all()
         # compute topic progress
-        now = datetime.now()
-        goals = self.courses[cid]['goals']
         progress: DefaultDict[str, float] = defaultdict(int)
+        goals = self.courses[cid]['goals']
+        num_goals = len(goals)
+        now = datetime.now()
         for student, topic, level, datestr in student_topics:
             if topic in goals:
                 date = datetime.strptime(datestr, "%Y-%m-%d %H:%M:%S.%f")
-                progress[student] += level**(now - date).days / len(goals)
+                elapsed_days = (now - date).days
+                progress[student] += level**elapsed_days / num_goals
         return sorted(((u, name, progress[u])
                        for u, name in students
                        if u in progress and (len(u) > 2 or len(uid) <= 2)),
                        key=lambda x: x[2], reverse=True)
-
-    # ------------------------------------------------------------------------
@@ -7,6 +7,7 @@ Setup configurations and then runs the application.
 # python standard library
 import argparse
+import logging
 import logging.config
 from os import environ, path
 import ssl
@@ -14,10 +15,10 @@ import sys
 from typing import Any, Dict
 # this project
-from aprendizations.learnapp import LearnApp, DatabaseUnusableError, LearnException
-from aprendizations.serve import run_webserver
-from aprendizations.tools import load_yaml
-from aprendizations import APP_NAME, APP_VERSION
+from .learnapp import LearnApp, DatabaseUnusableError, LearnException
+from .serve import run_webserver
+from .tools import load_yaml
+from . import APP_NAME, APP_VERSION
 # ----------------------------------------------------------------------------
@@ -115,7 +116,7 @@ def get_logger_config(debug: bool = False) -&gt; Any:
             'level': level,
             'propagate': False,
             } for module in ['learnapp', 'models', 'factory', 'tools', 'serve',
-                             'questions', 'student']})
+                             'questions', 'student', 'main']})
     return load_yaml(config_file, default=default_config)
@@ -181,7 +182,7 @@ def main():
     try:
         learnapp = LearnApp(courses=arg.courses,
                             prefix=arg.prefix,
-                            db=arg.db,
+                            dbase=arg.db,
                             check=arg.check)
     except DatabaseUnusableError:
         logging.critical('Failed to start application.')
@@ -196,13 +197,8 @@ def main():
               sep='\n')
         sys.exit(1)
     except LearnException as exc:
-        logging.critical('Failed to start backend')
-        # sys.exit(1)
-        raise
-    except Exception:
-        logging.critical('Unknown error')
-        # sys.exit(1)
-        raise
+        logging.critical('Failed to start backend: %s', str(exc))
+        sys.exit(1)
     else:
         logging.info('LearnApp started')
@@ -4,10 +4,9 @@ Webserver
 # python standard library
-import asyncio
 import base64
 import functools
-import logging
+from logging import getLogger
 import mimetypes
 from os.path import join, dirname, expanduser
 import signal
@@ -28,7 +27,7 @@ from aprendizations import APP_NAME
 # setup logger for this module
-logger = logging.getLogger(__name__)
+logger = getLogger(__name__)
 # ----------------------------------------------------------------------------
@@ -37,7 +36,7 @@ def admin_only(func):
     Decorator used to restrict access to the administrator
     '''
     @functools.wraps(func)
-    def wrapper(self, *args, **kwargs):
+    def wrapper(self, *args, **kwargs) -> None:
         if self.current_user != '0':
             raise tornado.web.HTTPError(403)  # forbidden
         func(self, *args, **kwargs)
@@ -49,7 +48,7 @@ class WebApplication(tornado.web.Application):
     '''
     WebApplication - Tornado Web Server
     '''
-    def __init__(self, learnapp, debug=False):
+    def __init__(self, learnapp, debug=False) -> None:
         handlers = [
             (r'/login', LoginHandler),
             (r'/logout', LogoutHandler),
@@ -94,7 +93,6 @@ class BaseHandler(tornado.web.RequestHandler):
         counter_cookie = self.get_secure_cookie('counter')
         if user_cookie is not None:
             uid = user_cookie.decode('utf-8')
-
             if counter_cookie is not None:
                 counter = counter_cookie.decode('utf-8')
                 if counter == str(self.learn.get_login_counter(uid)):
@@ -108,7 +106,7 @@ class RankingsHandler(BaseHandler):
     Handles rankings page
     '''
     @tornado.web.authenticated
-    def get(self):
+    def get(self) -> None:
         '''
         Renders list of students that have answers in this course.
         '''
@@ -122,18 +120,17 @@ class RankingsHandler(BaseHandler):
                     name=self.learn.get_student_name(uid),
                     rankings=rankings,
                     course_id=course_id,
-                    course_title=self.learn.get_student_course_title(uid),  # FIXME get from course var
+                    course_title=self.learn.get_student_course_title(uid),
+                    # FIXME get from course var
                     )
 # ----------------------------------------------------------------------------
-#
-# ----------------------------------------------------------------------------
 class LoginHandler(BaseHandler):
     '''
     Handles /login
     '''
-    def get(self):
+    def get(self) -> None:
         '''
         Renders login page
         '''
@@ -168,7 +165,7 @@ class LogoutHandler(BaseHandler):
     Handles /logout
     '''
     @tornado.web.authenticated
-    def get(self):
+    def get(self) -> None:
         '''
         clears cookies and removes user session
         '''
@@ -176,7 +173,7 @@ class LogoutHandler(BaseHandler):
         self.clear_cookie('counter')
         self.redirect('/')
-    def on_finish(self):
+    def on_finish(self) -> None:
         self.learn.logout(self.current_user)
@@ -186,7 +183,7 @@ class ChangePasswordHandler(BaseHandler):
     Handles password change
     '''
     @tornado.web.authenticated
-    async def post(self):
+    async def post(self) -> None:
         '''
         Tries to perform password change and then replies success/fail status
         '''
@@ -216,7 +213,7 @@ class RootHandler(BaseHandler):
     Handles root /
     '''
     @tornado.web.authenticated
-    def get(self):
+    def get(self) -> None:
         '''Simply redirects to the main entrypoint'''
         self.redirect('/courses')
@@ -226,11 +223,11 @@ class CoursesHandler(BaseHandler):
     '''
     Handles /courses
     '''
-    def set_default_headers(self, *args, **kwargs):
+    def set_default_headers(self, *_) -> None:
         self.set_header('Cache-Control', 'no-cache')
     @tornado.web.authenticated
-    def get(self):
+    def get(self) -> None:
         '''Renders list of available courses'''
         uid = self.current_user
         self.render('courses.html',
@@ -249,7 +246,7 @@ class CourseHandler(BaseHandler):
     '''
     @tornado.web.authenticated
-    def get(self, course_id):
+    def get(self, course_id) -> None:
         '''
         Handles get /course/...
         Starts a given course and show list of topics
@@ -278,11 +275,11 @@ class TopicHandler(BaseHandler):
     '''
     Handles a topic
     '''
-    def set_default_headers(self, *args, **kwargs):
+    def set_default_headers(self, *_) -> None:
         self.set_header('Cache-Control', 'no-cache')
     @tornado.web.authenticated
-    async def get(self, topic):
+    async def get(self, topic) -> None:
         '''
         Handles get /topic/...
         Starts a given topic
@@ -308,7 +305,7 @@ class FileHandler(BaseHandler):
     Serves files from the /public subdir of the topics.
     '''
     @tornado.web.authenticated
-    async def get(self, filename):
+    async def get(self, filename) -> None:
         '''
         Serves files from /public subdirectories of a particular topic
         '''
@@ -351,7 +348,7 @@ class QuestionHandler(BaseHandler):
     # ------------------------------------------------------------------------
     @tornado.web.authenticated
-    async def get(self):
+    async def get(self) -> None:
         '''
         Gets question to render.
         Shows an animated trophy if there are no more questions in the topic.
@@ -410,9 +407,6 @@ class QuestionHandler(BaseHandler):
                 })
             return
-        # --- brain hacking ;)
-        # await asyncio.sleep(1.5)
-
         # --- answers are in a list. fix depending on question type
         qtype = self.learn.get_student_question_type(user)
         ans: Optional[Union[List, str]]
@@ -489,7 +483,7 @@ def signal_handler(*_) -&gt; None:
     reply = input(' --> Stop webserver? (yes/no) ')
     if reply.lower() == 'yes':
         tornado.ioloop.IOLoop.current().stop()
-        logging.critical('Webserver stopped.')
+        logger.critical('Webserver stopped.')
         sys.exit(0)
@@ -503,10 +497,9 @@ def run_webserver(app, ssl, port: int = 8443, debug: bool = False) -&gt; None:
     try:
         webapp = WebApplication(app, debug=debug)
     except Exception:
-        logger.critical('Failed to start web application.')
+        logger.critical('Failed to start web application.', exc_info=True)
         sys.exit(1)
-    else:
-        logger.info('Web application started (tornado.web.Application)')
+    logger.info('Web application started (tornado.web.Application)')
     # --- create tornado webserver
     try:
@@ -514,19 +507,17 @@ def run_webserver(app, ssl, port: int = 8443, debug: bool = False) -&gt; None:
     except ValueError:
         logger.critical('Certificates cert.pem and privkey.pem not found')
         sys.exit(1)
-    else:
-        logger.debug('HTTP server started')
+    logger.debug('HTTP server started')
     try:
         httpserver.listen(port)
     except OSError:
         logger.critical('Cannot bind port %d. Already in use?', port)
         sys.exit(1)
-
-    # --- run webserver
     logger.info('Webserver listening on %d...  (Ctrl-C to stop)', port)
     signal.signal(signal.SIGINT, signal_handler)
+    # --- run webserver
     try:
         tornado.ioloop.IOLoop.current().start()  # running...
     except Exception:
@@ -7,18 +7,12 @@
     <meta name="viewport" content="width=device-width, initial-scale=1">
     <meta name="author" content="Miguel Barão">
     <link rel="icon" href="favicon.ico">
-    <!-- Styles -->
-    <link href="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-1BmE4kWBq78iYhFldvKuhfTAU6auU8tT94WrHftjDbrCEXSU1oBoqyl2QvZ6jIW3" crossorigin="anonymous">
-    <link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.15.4/css/all.min.css" rel="stylesheet">
+
+    {% include include-libs.html %}
     <link rel="stylesheet" href="{{static_url('css/maintopics.css')}}">
     <link rel="stylesheet" href="{{static_url('css/sticky-footer-navbar.css')}}">
-    <!-- Scripts -->
-    <script src="https://code.jquery.com/jquery-3.6.0.min.js"
-      integrity="sha256-/xUj+3OJU5yExlq6GSYGSHk7tPXikynS7ogEvDej/m4=" crossorigin="anonymous"></script>
-    <script src="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/js/bootstrap.bundle.min.js"
-      integrity="sha384-ka7Sk0Gln4gmtz2MlQnikT1wXgYsOg+OMhuP+IlRH9sENBO0LRn5q+8nbTov4+1p" crossorigin="anonymous"></script>
-
+    
     <script defer src="{{static_url('js/maintopics.js')}}"></script>
     <title>{{appname}}</title>
@@ -42,8 +36,7 @@
           <ul class="navbar-nav ms-auto">
             <li class="nav-item dropdown">
               <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-bs-toggle="dropdown" aria-expanded="false">
-                <i class="fas fa-user-graduate" aria-hidden="true"></i>
-                &nbsp;
+                <i class="bi bi-person-circle"></i>&nbsp;
                 <span id="name">{{ escape(name) }}</span>
                 <span class="caret"></span>
               </a>
@@ -0,0 +1,9 @@
+<!-- jquery -->
+<script src="https://code.jquery.com/jquery-3.6.1.min.js" integrity="sha256-o88AwQnZB+VDvE9tvIXrMQaPlFFSUTR+nldQm1LuPXQ=" crossorigin="anonymous"></script>
+
+<!-- bootstrap -->
+<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.2.2/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-Zenh87qX5JnK2Jl0vWa8Ck2rdkQ2Bzep5IDxbcnCeuOxjzrPF/et3URy9Bv1WTRi" crossorigin="anonymous">
+<script src="https://cdn.jsdelivr.net/npm/bootstrap@5.2.2/dist/js/bootstrap.bundle.min.js" integrity="sha384-OERcA2EqjJCMA+/3y+gxIOqMEjwtxJY7qPCqsdltbNJuaOe923+mo//f6V8Qbsw3" crossorigin="anonymous"></script>
+
+<!-- bootstrap icons -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap-icons@1.10.0/font/bootstrap-icons.css">
@@ -5,11 +5,7 @@
     <meta name="viewport" content="width=device-width, initial-scale=1" />
     <meta name="author" content="Miguel Barão">
-    <!-- <link rel="canonical" href="https://getbootstrap.com/docs/5.1/examples/sign-in/"> -->
-
-    <!-- Bootstrap core CSS -->
-  <link href="https://cdn.jsdelivr.net/npm/bootstrap@5.1.0/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-KyZXEAg3QhqLMpG8r+8fhAXLRk2vvoC2f3B09zVXn8CA5QIVfZOJ3BCsw2P0p/We" crossorigin="anonymous">
-    <!-- <link href="../assets/dist/css/bootstrap.min.css" rel="stylesheet"> -->
+    {% include include-libs.html %}
     <style>
       .bd-placeholder-img {
@@ -8,16 +8,9 @@
   <meta name="author" content="Miguel Barão">
   <link rel="icon" href="/static/favicon.ico">
-<!-- Styles -->
-  <link href="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-1BmE4kWBq78iYhFldvKuhfTAU6auU8tT94WrHftjDbrCEXSU1oBoqyl2QvZ6jIW3" crossorigin="anonymous">
-  <link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.15.4/css/all.min.css" rel="stylesheet">
-
+  {% include include-libs.html %}
+  
   <link rel="stylesheet" href="{{static_url('css/maintopics.css')}}">
-
-<!-- Scripts -->
-  <script src="https://code.jquery.com/jquery-3.6.0.min.js" integrity="sha256-/xUj+3OJU5yExlq6GSYGSHk7tPXikynS7ogEvDej/m4=" crossorigin="anonymous"></script>
-  <script src="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/js/bootstrap.bundle.min.js" integrity="sha384-ka7Sk0Gln4gmtz2MlQnikT1wXgYsOg+OMhuP+IlRH9sENBO0LRn5q+8nbTov4+1p" crossorigin="anonymous"></script>
-
   <script defer src="{{static_url('js/maintopics.js')}}"></script>
   <title>{{appname}}</title>
@@ -40,8 +33,7 @@
       <ul class="navbar-nav ms-auto">
         <li class="nav-item dropdown">
           <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-bs-toggle="dropdown" aria-expanded="false">
-            <i class="fas fa-user-graduate" aria-hidden="true"></i>
-            &nbsp;
+            <i class="bi bi-person-circle"></i>&nbsp;
             <span id="name">{{ escape(name) }}</span>
             <span class="caret"></span>
           </a>
@@ -104,58 +96,71 @@
         <!-- ------------------------------------------------------------- -->
         {% if t['level'] is None %}
           <tr>
-            <th scope="row" class="text-muted text-center">
-              {% if t['type']=='chapter' %}
-                <i class="fas fa-flag"></i>
-              {% elif t['type']=='learn' %}
-                <i class="fas fa-book"></i>&nbsp;
-              {% else %}
-                <i class="fas fa-pencil-alt"></i>&nbsp;
-              {% end %}
-            </th>
-            <td>
-              <div class="text-muted">
-                {% if t['ref'] not in course['goals'] %}
-                  <i class="fas fa-puzzle-piece"></i>
+            <td scope="row" class="text-muted text-center">
+              <h5>
+                {% if t['type']=='chapter' %}
+                  <i class="bi bi-flag-fill"></i>
+                {% elif t['type']=='learn' %}
+                  <i class="bi bi-book"></i>
+                {% else %}
+                  <i class="bi bi-pencil-square"></i>
                 {% end %}
-
-
+              </h5>
+            </td>
+            <td class="text-muted">
+              {% if t['ref'] not in course['goals'] %}
+                <span class="text-nowrap" data-toggle="tooltip" data-placement="bottom" title="Este tópico é um pré-requisito">
+                  <i class="bi bi-puzzle-fill"></i>
+                  {{ t['name'] }}
+                </span>
+              {% else %}
                 {{ t['name'] }}
-              </div>
+              {% end %}
             </td>
             <td class="text-center">
-              <i class="fas fa-lock text-muted"></i>
+              <h5><i class="bi bi-lock-fill text-muted"></i></h5>
             </td>
           </tr>
         {% else %}
           <tr class="clickable-row " data-href="/topic/{{t['ref']}}">
-            <th scope="row" class="text-primary text-center">
-              {% if t['type']=='chapter' %}
-                <i class="fas fa-flag-checkered"></i>&nbsp;
-              {% elif t['type']=='learn' %}
-                <i class="fas fa-book"></i>&nbsp;
-              {% else %}
-                <i class="fas fa-pencil-alt"></i>&nbsp;
-              {% end %}
-            </th>
+            <td scope="row" class="text-primary text-center">
+              <h5>
+                {% if t['type']=='chapter' %}
+                <span class="text-nowrap" data-toggle="tooltip" data-placement="bottom" title="Fim do capítulo">
+                  <i class="bi bi-flag-fill"></i>
+                </span>
+                {% elif t['type']=='learn' %}
+                <span class="text-nowrap" data-toggle="tooltip" data-placement="bottom" title="Texto com matéria">
+                  <i class="bi bi-book"></i>
+                </span>
+                {% else %}
+                <span class="text-nowrap" data-toggle="tooltip" data-placement="bottom" title="Exercícios">
+                  <i class="bi bi-pencil-square"></i>
+                </span>
+                {% end %}
+              </h5>
+            </td>
             <td class="text-primary">
               {% if t['ref'] not in course['goals'] %}
-                <i class="fas fa-puzzle-piece"></i>
+                <span class="text-nowrap" data-toggle="tooltip" data-placement="bottom" title="Este tópico é um pré-requisito">
+                  <i class="bi bi-puzzle-fill"></i>
+                  {{ t['name'] }}
+                </span>
+              {% else %}
+                {{ t['name'] }}
               {% end %}
-
-              {{ t['name'] }}
             </td>
             <td class="text-center">
               {% if t['level'] < 0.01 %}
-                <i class="fas fa-lock-open text-success"></i>
+                <h5><i class="bi bi-unlock-fill text-success"></i></h5>
               {% elif t['type']=='chapter' %}
-                <h5><i class="fas fa-award text-warning"></i></h5>
+                <h5><i class="bi bi-award-fill"></i></h5>
               {% else %}
-                <span class="text-nowrap text-warning" data-toggle="tooltip" data-placement="bottom" title="{{round(t['level']*5, 2)}}">
-                  {{int(t['level']*5+0.25)*'<i class="fas fa-star"></i>'}}{% if int(t['level']*5+0.25) < 5 %}{{'<i class="fas fa-star-half-alt"></i>' if 0.25 <= t['level']*5-int(t['level']*5) < 0.75 else '<i class="far fa-star"></i>'}}{% end %}{{(4-int(t['level']*5+0.25))*'<i class="far fa-star"></i>' }}
+                <span class="text-nowrap text-warning" data-toggle="tooltip" data-placement="bottom" title="{{round(t['level']*5, 3)}}">
+                  <h5>{{ int(t['level']*5+0.25)*'<i class="bi bi-star-fill"></i>' }}{% if int(t['level']*5+0.25) < 5 %}{{'<i class="bi bi-star-half"></i>' if 0.25 <= t['level']*5-int(t['level']*5) < 0.75 else '<i class="bi bi-star"></i>'}}{% end %}{{ (4-int(t['level']*5+0.25))*'<i class="bi bi-star"></i>' }}</h5>
                 </span>
               {% end %} <!-- if -->
             </td>
@@ -7,14 +7,10 @@
   <meta name="viewport" content="width=device-width, initial-scale=1" />
   <meta name="author" content="Miguel Barão">
   <link rel="icon" href="/static/favicon.ico">
-  <!-- Styles -->
-  <link href="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-1BmE4kWBq78iYhFldvKuhfTAU6auU8tT94WrHftjDbrCEXSU1oBoqyl2QvZ6jIW3" crossorigin="anonymous">
-  <link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.15.4/css/all.min.css" rel="stylesheet">
-  <link rel="stylesheet" href="{{static_url('css/maintopics.css')}}">
-  <!-- Scripts -->
-  <script src="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/js/bootstrap.bundle.min.js" integrity="sha384-ka7Sk0Gln4gmtz2MlQnikT1wXgYsOg+OMhuP+IlRH9sENBO0LRn5q+8nbTov4+1p" crossorigin="anonymous"></script>
+  {% include include-libs.html %}
+  <link rel="stylesheet" href="{{static_url('css/maintopics.css')}}">
   <script defer src="{{static_url('js/maintopics.js')}}"></script>
   <title>{{appname}}</title>
@@ -37,8 +33,7 @@
       <ul class="navbar-nav ms-auto">
         <li class="nav-item dropdown">
           <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-bs-toggle="dropdown" aria-expanded="false">
-            <i class="fas fa-user-graduate" aria-hidden="true"></i>
-            &nbsp;
+            <i class="bi bi-person-circle"></i>&nbsp;
             <span id="name">{{ escape(name) }}</span>
             <span class="caret"></span>
           </a>
@@ -56,11 +51,10 @@
   <h1 class="display-6">{{ course_title }}</h1>
 <table class="table table-sm table-hover">
-  <!-- <col width="100"> -->
   <thead>
     <tr>
       <th scope="col" class="text-center">Posição</th>
-      <th scope="col">Aluno</th>
+      <th scope="col">Nome</th>
       <th scope="col">Progresso</th>
     </tr>
   </thead>
@@ -69,10 +63,10 @@
     <tr class="{{ 'table-secondary' if r[0] == uid else '' }}">
       <td class="text-center"> <!-- rank -->
         <strong>
-          {{ '<i class="fas fa-crown fa-lg text-warning"></i>' if i==0 else i+1 }}
+          {{ '<h3><i class="bi bi-trophy-fill text-warning"></i></h3>' if i==0 else i+1 }}
         </strong>
       </td>
-      <td> <!-- student name -->
+      <td> <!-- first and last name -->
         {{ ' '.join(r[1].split()[n] for n in (0,-1)) }}
       </td>
       <td> <!-- progress -->
@@ -6,17 +6,9 @@
     <meta name="author" content="Miguel Barão" />
     <link rel="icon" href="/static/favicon.ico">
-    <!-- Styles ---------------------------------------------------------- -->
-    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/css/bootstrap.min.css"
-          integrity="sha384-1BmE4kWBq78iYhFldvKuhfTAU6auU8tT94WrHftjDbrCEXSU1oBoqyl2QvZ6jIW3" crossorigin="anonymous" />
-    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.15.4/css/all.min.css" />
-    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/animate.css/4.1.1/animate.min.css" />
-    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.63.3/codemirror.min.css" />
-    <!-- local styles -->
-    <link rel="stylesheet" href="{{static_url('css/github.css')}}" />
-    <link rel="stylesheet" href="{{static_url('css/topic.css')}}" />
+    {% include include-libs.html %}
-    <!-- Scripts --------------------------------------------------------- -->
+    <!-- mathjax -->
     <script>
       MathJax = {
         tex: {
@@ -27,14 +19,19 @@
         }
       };
     </script>
+    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
     <script async type="text/javascript" id="MathJax-script" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
-    <script defer src="https://code.jquery.com/jquery-3.6.0.min.js"
-          integrity="sha256-/xUj+3OJU5yExlq6GSYGSHk7tPXikynS7ogEvDej/m4=" crossorigin="anonymous"></script>
-    <script src="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/js/bootstrap.bundle.min.js"
-          integrity="sha384-ka7Sk0Gln4gmtz2MlQnikT1wXgYsOg+OMhuP+IlRH9sENBO0LRn5q+8nbTov4+1p" crossorigin="anonymous"></script>
+
+    <!-- codemirror -->
+    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.63.3/codemirror.min.css" />
     <script defer src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.63.3/codemirror.min.js"></script>
-    <!-- local scripts -->
+    <!-- animate -->
+    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/animate.css/4.1.1/animate.min.css" />
+
+    <!-- local -->
+    <link rel="stylesheet" href="{{static_url('css/github.css')}}" />
+    <link rel="stylesheet" href="{{static_url('css/topic.css')}}" />
     <script defer src="{{static_url('js/topic.js')}}"></script>
     <title>{{appname}}</title>
@@ -58,13 +55,12 @@
           <ul class="navbar-nav">
             <li class="nav-item"><a class="nav-link" href="/courses">Cursos</a></li>
             <li class="nav-item"><a class="nav-link active" aria-current="page" href="/course/{{course_id}}">Tópicos</a></li>
-            <!-- <li class="nav-item"><a class="nav-link disabled" href="#">Classificação</a></li> -->
+            <li class="nav-item"><a class="nav-link disabled" href="#">Classificação</a></li>
           </ul>
           <ul class="navbar-nav ms-auto">
             <li class="nav-item dropdown">
               <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-bs-toggle="dropdown" aria-expanded="false">
-                <i class="fas fa-user-graduate" aria-hidden="true"></i>
-                &nbsp;
+                <i class="bi bi-person-circle"></i>&nbsp;
                 <span id="name">{{ escape(name) }}</span>
                 <span class="caret"></span>
               </a>
@@ -15,6 +15,7 @@ courses:
     description: |
       Adição, multiplicação e números primos.
     goals:
+      - math
       - math/addition
       - math/multiplication
       - math/prime-numbers
@@ -25,7 +25,23 @@ topics:
     deps:
       - math/addition
+  math/learn-prime-numbers:
+    name: O que são números primos?
+    type: learn
+    file: learn.yaml
+    deps:
+      - math/multiplication
+
   math/prime-numbers:
     name: Números primos
     deps:
+      - math/learn-prime-numbers
+
+  math:
+    name: Números e operações aritméticas
+    type: chapter
+    deps:
+      - math/addition
       - math/multiplication
+      - math/learn-prime-numbers
+      - math/prime-numbers
@@ -0,0 +1,17 @@
+- type: radio
+  title: O que são números primos?
+  text: |
+    Um número $n \ge 2$ é primo se os únicos divisores forem $1$ e $n$.
+
+    Por exemplo, o número $5$ é primo, pois $2,3,4$ não são divisores de $5$.
+
+    ---
+
+    O número $1$ é primo?
+  options:
+    - Não
+    - Sim
+  max_tries: 1
+  solution: |
+    O número $1$ não é primo. Apenas podem ser primos os números a partir do
+    $2$.
@@ -0,0 +1,2 @@
+- type: info
+  title: Fim do capítulo
 [mypy]
-python_version = 3.9
+python_version = 3.10
 plugins = sqlalchemy.ext.mypy.plugin
 ; [mypy-pygments.*]
@@ -18,10 +18,10 @@ setup(
     url="https://git.xdi.uevora.pt/mjsb/aprendizations.git",
     packages=find_packages(),
     include_package_data=True,   # install files from MANIFEST.in
-    python_requires='>=3.8.*',
+    python_requires='>=3.9.*',
     install_requires=[
         'tornado>=6.0',
-        'mistune',
+        'mistune<2',
         'pyyaml>=5.1',
         'pygments',
         'sqlalchemy>=1.4',
@@ -32,7 +32,6 @@ setup(
         'console_scripts': [
             'aprendizations = aprendizations.main:main',
             'initdb-aprendizations = aprendizations.initdb:main',
-            # 'redirect = aprendizations.redirect:main',
         ]
     },
     classifiers=[
	@@ -30,7 +30,7 @@ are progressively uncovered as the students progress.		@@ -30,7 +30,7 @@ are progressively uncovered as the students progress.
30	'''	30	'''
31		31
32	APP_NAME = 'aprendizations'	32	APP_NAME = 'aprendizations'
33	-APP_VERSION = '2021.11.dev1'	33	+APP_VERSION = '2022.08.dev1'
34	APP_DESCRIPTION = __doc__	34	APP_DESCRIPTION = __doc__
35		35
36	__author__ = 'Miguel Barão'	36	__author__ = 'Miguel Barão'
@@ -0,0 +1,9 @@		@@ -0,0 +1,9 @@
	1	+<!-- jquery -->
	2	+<script src="https://code.jquery.com/jquery-3.6.1.min.js" integrity="sha256-o88AwQnZB+VDvE9tvIXrMQaPlFFSUTR+nldQm1LuPXQ=" crossorigin="anonymous"></script>
	3	+
	4	+<!-- bootstrap -->
	5	+<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.2.2/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-Zenh87qX5JnK2Jl0vWa8Ck2rdkQ2Bzep5IDxbcnCeuOxjzrPF/et3URy9Bv1WTRi" crossorigin="anonymous">
	6	+<script src="https://cdn.jsdelivr.net/npm/bootstrap@5.2.2/dist/js/bootstrap.bundle.min.js" integrity="sha384-OERcA2EqjJCMA+/3y+gxIOqMEjwtxJY7qPCqsdltbNJuaOe923+mo//f6V8Qbsw3" crossorigin="anonymous"></script>
	7	+
	8	+<!-- bootstrap icons -->
	9	+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap-icons@1.10.0/font/bootstrap-icons.css">
	@@ -25,7 +25,23 @@ topics:		@@ -25,7 +25,23 @@ topics:
25	deps:	25	deps:
26	- math/addition	26	- math/addition
27		27
		28	+ math/learn-prime-numbers:
		29	+ name: O que são números primos?
		30	+ type: learn
		31	+ file: learn.yaml
		32	+ deps:
		33	+ - math/multiplication
		34	+
28	math/prime-numbers:	35	math/prime-numbers:
29	name: Números primos	36	name: Números primos
30	deps:	37	deps:
		38	+ - math/learn-prime-numbers
		39	+
		40	+ math:
		41	+ name: Números e operações aritméticas
		42	+ type: chapter
		43	+ deps:
		44	+ - math/addition
31	- math/multiplication	45	- math/multiplication
		46	+ - math/learn-prime-numbers
		47	+ - math/prime-numbers
@@ -0,0 +1,17 @@		@@ -0,0 +1,17 @@
	1	+- type: radio
	2	+ title: O que são números primos?
	3	+ text: \|
	4	+ Um número $n \ge 2$ é primo se os únicos divisores forem $1$ e $n$.
	5	+
	6	+ Por exemplo, o número $5$ é primo, pois $2,3,4$ não são divisores de $5$.
	7	+
	8	+ ---
	9	+
	10	+ O número $1$ é primo?
	11	+ options:
	12	+ - Não
	13	+ - Sim
	14	+ max_tries: 1
	15	+ solution: \|
	16	+ O número $1$ não é primo. Apenas podem ser primos os números a partir do
	17	+ $2$.
@@ -0,0 +1,2 @@		@@ -0,0 +1,2 @@
	1	+- type: info
	2	+ title: Fim do capítulo
1	[mypy]	1	[mypy]
2	-python_version = 3.9	2	+python_version = 3.10
3	plugins = sqlalchemy.ext.mypy.plugin	3	plugins = sqlalchemy.ext.mypy.plugin
4		4
5	; [mypy-pygments.*]	5	; [mypy-pygments.*]
	@@ -18,10 +18,10 @@ setup(		@@ -18,10 +18,10 @@ setup(
18	url="https://git.xdi.uevora.pt/mjsb/aprendizations.git",	18	url="https://git.xdi.uevora.pt/mjsb/aprendizations.git",
19	packages=find_packages(),	19	packages=find_packages(),
20	include_package_data=True, # install files from MANIFEST.in	20	include_package_data=True, # install files from MANIFEST.in
21	- python_requires='>=3.8.*',	21	+ python_requires='>=3.9.*',
22	install_requires=[	22	install_requires=[
23	'tornado>=6.0',	23	'tornado>=6.0',
24	- 'mistune',	24	+ 'mistune<2',
25	'pyyaml>=5.1',	25	'pyyaml>=5.1',
26	'pygments',	26	'pygments',
27	'sqlalchemy>=1.4',	27	'sqlalchemy>=1.4',
	@@ -32,7 +32,6 @@ setup(		@@ -32,7 +32,6 @@ setup(
32	'console_scripts': [	32	'console_scripts': [
33	'aprendizations = aprendizations.main:main',	33	'aprendizations = aprendizations.main:main',
34	'initdb-aprendizations = aprendizations.initdb:main',	34	'initdb-aprendizations = aprendizations.initdb:main',
35	- # 'redirect = aprendizations.redirect:main',
36	]	35	]
37	},	36	},
38	classifiers=[	37	classifiers=[