Merge branch 'master' into dev

Miguel Barão
2 parents 8c5f49ee f4809e6f
Showing 31 changed files with 414 additions and 341 deletions Show diff stats
BUGS.md
aprendizations/learnapp.py
aprendizations/main.py
aprendizations/questions.py
aprendizations/serve.py
aprendizations/tools.py
demo/astronomy.yaml
demo/astronomy/solar-system/correct-first_3_planets.py
demo/astronomy/solar-system/correct-timeout.py
demo/astronomy/solar-system/public/earth.jpg
demo/astronomy/solar-system/public/jupiter.gif
demo/astronomy/solar-system/public/planets.png
demo/astronomy/solar-system/public/saturn.jpg
demo/astronomy/solar-system/questions.yaml
demo/courses.yaml
demo/demo.yaml
demo/math.yaml
demo/math/addition/addition-two-digits.py
demo/math/addition/questions.yaml
demo/math/gen-multiples-of-3.py
 # BUGS
+- se num topico, a ultima pergunta tem imagens, o servidor nao fornece as imagengs porque o current_topic passa a None antes de carregar no botao continuar. O caminho é prefix+None e dá erro.
+- registar last_seen e remover os antigos de cada vez que houver um login.
 - initdb da integrity error se no mesmo comando existirem alunos repetidos (p.ex em ficheiros csv diferentes ou entre csv e opcao -a)
 - permite definir goal, mas nao verifica se esta no grafo. rebenta no start_topic.
 - double click submits twice.
@@ -462,7 +462,7 @@ class LearnApp(object):
     # ------------------------------------------------------------------------
     def get_current_public_dir(self, uid: str) -> str:
-        topic: str = self.online[uid]['state'].get_current_topic()
+        topic: str = self.online[uid]['state'].get_current_topic()  # FIXME returns None if its the last question in the topic
         prefix: str = self.deps.graph['prefix']
         return path.join(prefix, topic, 'public')
@@ -140,21 +140,22 @@ def main():
                                 path.join(certs_dir, 'privkey.pem'))
     except FileNotFoundError:
         logging.critical(f'SSL certificates missing in {certs_dir}')
-        print('--------------------------------------------------------------')
-        print('Certificates should be issued by a certificate authority (CA),')
-        print('such as https://letsencrypt.org.                              ')
-        print('For testing purposes a selfsigned certificate can be generated')
-        print('locally by running:                                           ')
-        print('                                                              ')
-        print('  openssl req -x509 -newkey rsa:4096 -keyout privkey.pem \\   ')
-        print('          -out cert.pem -days 365 -nodes                      ')
-        print('                                                              ')
-        print('Copy the cert.pem and privkey.pem files to:                   ')
-        print('                                                              ')
-        print(f'  {certs_dir:<62}')
-        print('                                                              ')
-        print('(See README.md for more information)                          ')
-        print('--------------------------------------------------------------')
+        print('--------------------------------------------------------------',
+              'Certificates should be issued by a certificate authority (CA),',
+              'such as https://letsencrypt.org.                              ',
+              'For testing purposes a selfsigned certificate can be generated',
+              'locally by running:                                           ',
+              '                                                              ',
+              '  openssl req -x509 -newkey rsa:4096 -keyout privkey.pem \\   ',
+              '          -out cert.pem -days 365 -nodes                      ',
+              '                                                              ',
+              'Copy the cert.pem and privkey.pem files to:                   ',
+              '                                                              ',
+              f'  {certs_dir:<62}',
+              '                                                              ',
+              'See README.md for more information                            ',
+              '--------------------------------------------------------------',
+              sep='\n')
         sys.exit(1)
     else:
         logging.info('SSL certificates loaded')
@@ -167,20 +168,21 @@ def main():
                             check=arg.check)
     except DatabaseUnusableError:
         logging.critical('Failed to start application.')
-        print('--------------------------------------------------------------')
-        print('Could not find a usable database. Use one of the follwing     ')
-        print('commands to initialize:                                       ')
-        print('                                                              ')
-        print('  initdb-aprendizations --admin            # add admin        ')
-        print('  initdb-aprendizations -a 86 "Max Smart"  # add student      ')
-        print('  initdb-aprendizations students.csv       # add many students')
-        print('--------------------------------------------------------------')
+        print('--------------------------------------------------------------',
+              'Could not find a usable database. Use one of the follwing     ',
+              'commands to initialize:                                       ',
+              '                                                              ',
+              '  initdb-aprendizations --admin            # add admin        ',
+              '  initdb-aprendizations -a 86 "Max Smart"  # add student      ',
+              '  initdb-aprendizations students.csv       # add many students',
+              '--------------------------------------------------------------',
+              sep='\n')
         sys.exit(1)
     except Exception:
-        logging.critical('Failed to start application.')
+        logging.critical('Failed to start backend.')
         sys.exit(1)
     else:
-        logging.info('Backend application started')
+        logging.info('Backend started')
     # --- run webserver forever
     run_webserver(app=learnapp, ssl=ssl_ctx, port=arg.port, debug=arg.debug)
 # python standard library
+import asyncio
 import random
 import re
 from os import path
@@ -21,10 +22,10 @@ class QuestionException(Exception):
     pass
-# ===========================================================================
+# ============================================================================
 # Questions derived from Question are already instantiated and ready to be
 # presented to students.
-# ===========================================================================
+# ============================================================================
 class Question(dict):
     '''
     Classes derived from this base class are meant to instantiate questions
@@ -41,7 +42,7 @@ class Question(dict):
             'comments': '',
             'solution': '',
             'files': {},
-            'max_tries': 3,
+            # 'max_tries': 3,
             }))
     def correct(self) -> None:
@@ -57,7 +58,7 @@ class Question(dict):
             self.setdefault(k, v)
-# ==========================================================================
+# ============================================================================
 class QuestionRadio(Question):
     '''An instance of QuestionRadio will always have the keys:
         type (str)
@@ -92,7 +93,7 @@ class QuestionRadio(Question):
                                for x in range(n)]
         if len(self['correct']) != n:
-            msg = (f'Options and correct mismatch in '
+            msg = ('Number of options and correct differ in '
                    f'"{self["ref"]}", file "{self["filename"]}".')
             logger.error(msg)
             raise QuestionException(msg)
@@ -138,7 +139,7 @@ class QuestionRadio(Question):
             self['grade'] = x
-# ===========================================================================
+# ============================================================================
 class QuestionCheckbox(Question):
     '''An instance of QuestionCheckbox will always have the keys:
         type (str)
@@ -218,7 +219,7 @@ class QuestionCheckbox(Question):
                 self['grade'] = x / sum_abs
-# ===========================================================================
+# ============================================================================
 class QuestionText(Question):
     '''An instance of QuestionText will always have the keys:
         type (str)
@@ -251,7 +252,7 @@ class QuestionText(Question):
             self['grade'] = 1.0 if self['answer'] in self['correct'] else 0.0
-# ===========================================================================
+# ============================================================================
 class QuestionTextRegex(Question):
     '''An instance of QuestionTextRegex will always have the keys:
         type (str)
@@ -281,7 +282,7 @@ class QuestionTextRegex(Question):
             self['grade'] = 1.0 if ok else 0.0
-# ===========================================================================
+# ============================================================================
 class QuestionNumericInterval(Question):
     '''An instance of QuestionTextNumeric will always have the keys:
         type (str)
@@ -316,7 +317,7 @@ class QuestionNumericInterval(Question):
                 self['grade'] = 1.0 if lower <= answer <= upper else 0.0
-# ===========================================================================
+# ============================================================================
 class QuestionTextArea(Question):
     '''An instance of QuestionTextArea will always have the keys:
         type (str)
@@ -397,7 +398,7 @@ class QuestionTextArea(Question):
                     logger.error(f'Invalid grade in "{self["correct"]}".')
-# ===========================================================================
+# ============================================================================
 class QuestionInformation(Question):
     # ------------------------------------------------------------------------
     def __init__(self, q: QDict) -> None:
@@ -412,30 +413,38 @@ class QuestionInformation(Question):
         self['grade'] = 1.0  # always "correct" but points should be zero!
-# ===========================================================================
+# ============================================================================
+#
 # QFactory is a class that can generate question instances, e.g. by shuffling
 # options, running a script to generate the question, etc.
 #
-# To generate an instance of a question we use the method generate() where
-# the argument is the reference of the question we wish to produce.
-# The generate() method returns a question instance of the correct class.
+# To generate an instance of a question we use the method generate().
+# It returns a question instance of the correct class.
+# There is also an asynchronous version called gen_async(). This version is
+# synchronous for all question types (radio, checkbox, etc) except for generator
+# types which run asynchronously.
 #
 # Example:
 #
-#   # generate a question instance from a dictionary
-#   qdict = {
+#   # make a factory for a question
+#   qfactory = QFactory({
 #       'type': 'radio',
 #       'text': 'Choose one',
 #       'options': ['a', 'b']
-#       }
-#   qfactory = QFactory(qdict)
+#       })
+#
+#   # generate synchronously
 #   question = qfactory.generate()
 #
+#   # generate asynchronously
+#   question = await qfactory.gen_async()
+#
 #   # answer one question and correct it
 #   question['answer'] = 42          # set answer
 #   question.correct()               # correct answer
 #   grade = question['grade']        # get grade
-# ===========================================================================
+#
+# ============================================================================
 class QFactory(object):
     # Depending on the type of question, a different question class will be
     # instantiated. All these classes derive from the base class `Question`.
@@ -456,44 +465,10 @@ class QFactory(object):
     def __init__(self, qdict: QDict = QDict({})) -> None:
         self.question = qdict
-    # -----------------------------------------------------------------------
-    # Given a ref returns an instance of a descendent of Question(),
-    # i.e. a question object (radio, checkbox, ...).
-    # -----------------------------------------------------------------------
-    def generate(self) -> Question:
-        # FIXME this is almost the same as the one below
-        # return asyncio.run(self.gen_async())
-
-        logger.debug(f'generating {self.question["ref"]}...')
-        # Shallow copy so that script generated questions will not replace
-        # the original generators
-        q = self.question.copy()
-        q['qid'] = str(uuid.uuid4())  # unique for each generated question
-
-        # If question is of generator type, an external program will be run
-        # which will print a valid question in yaml format to stdout. This
-        # output is then yaml parsed into a dictionary `q`.
-        if q['type'] == 'generator':
-            logger.debug(f' \\_ Running "{q["script"]}".')
-            q.setdefault('args', [])
-            q.setdefault('stdin', '')  # FIXME is it really necessary?
-            script = path.join(q['path'], q['script'])
-            out = run_script(script=script, args=q['args'], stdin=q['stdin'])
-            q.update(out)
-
-        # Finally we create an instance of Question()
-        try:
-            qinstance = self._types[q['type']](QDict(q))  # of matching class
-        except QuestionException as e:
-            logger.error(e)
-            raise e
-        except KeyError:
-            logger.error(f'Invalid type "{q["type"]}" in "{q["ref"]}"')
-            raise
-        else:
-            return qinstance
-
-    # -----------------------------------------------------------------------
+    # ------------------------------------------------------------------------
+    # generates a question instance of QuestionRadio, QuestionCheckbox, ...,
+    # which is a descendent of base class Question.
+    # ------------------------------------------------------------------------
     async def gen_async(self) -> Question:
         logger.debug(f'generating {self.question["ref"]}...')
         # Shallow copy so that script generated questions will not replace
@@ -524,3 +499,7 @@ class QFactory(object):
             raise
         else:
             return qinstance
+
+    # ------------------------------------------------------------------------
+    def generate(self) -> Question:
+        return asyncio.get_event_loop().run_until_complete(self.gen_async())
@@ -433,6 +433,7 @@ def run_webserver(app,
         webapp = WebApplication(app, debug=debug)
     except Exception:
         logger.critical('Failed to start web application.')
+        raise
         sys.exit(1)
     else:
         logger.info('Web application started (tornado.web.Application)')
@@ -110,14 +110,14 @@ class HighlightRenderer(mistune.Renderer):
         return highlight(code, lexer, formatter)
     def table(self, header, body):
-        return '<table class="table table-sm"><thead class="thead-light">' \
-               + header + '</thead><tbody>' + body + '</tbody></table>'
+        return ('<table class="table table-sm"><thead class="thead-light">'
+               f'{header}</thead><tbody>{body}</tbody></table>')
     def image(self, src, title, alt):
         alt = mistune.escape(alt, quote=True)
         title = mistune.escape(title or '', quote=True)
-        return f'<img src="/file/{src}" ' \
-               f'alt="{alt}" title="{title}">'
+        return (f'<img src="/file/{src}" alt="{alt}" title="{title}"'
+                 'class="img-fluid">')
                 # class="img-fluid mx-auto d-block"
     # Pass math through unaltered - mathjax does the rendering in the browser
@@ -0,0 +1,26 @@
+---
+# ----------------------------------------------------------------------------
+# optional values applied to each topic, if undefined there
+# ----------------------------------------------------------------------------
+
+# defaults:
+#   file: questions.yaml
+#   shuffle_questions: true
+#   choose: 6
+#   max_tries: 2
+#   forgetting_factor: 0.97
+#   min_level: 0.01
+#   append_wrong: true
+
+# ----------------------------------------------------------------------------
+# topics and their dependencies
+# ----------------------------------------------------------------------------
+
+topics:
+  astronomy/solar-system:
+    name: Sistema solar
+
+  # astronomy/milky-way:
+  #   name: Via Láctea
+  #   deps:
+  #     - solar-system
@@ -0,0 +1,28 @@
+#!/usr/bin/env python3
+
+import re
+import sys
+import time
+
+s = sys.stdin.read()
+
+ans = set(re.findall(r'[\w]+', s.lower()))  # convert answer to lowercase
+ans.difference_update({'e', 'a', 'o', 'planeta', 'planetas'})  # ignore words
+
+# correct set of planets
+planets = {'mercúrio', 'vénus', 'terra'}
+
+correct = set.intersection(ans, planets)     # the ones I got right
+wrong = set.difference(ans, planets)         # the ones I got wrong
+
+grade = (len(correct) - len(wrong)) / len(planets)
+
+comments = 'Certo' if grade == 1.0 else 'as iniciais dos planetas são M, V e T'
+
+out = f'''---
+grade: {grade}
+comments: {comments}'''
+
+time.sleep(2)  # simulate computation time (may generate timeout)
+
+print(out)
@@ -0,0 +1,11 @@
+#!/usr/bin/env python3
+
+import sys
+import time
+
+s = sys.stdin.read()
+
+# generate timeout
+time.sleep(100)
+
+print(0.5)
@@ -0,0 +1,66 @@
+---
+# ----------------------------------------------------------------------------
+- type: text
+  ref: planet-earth
+  title: Sistema solar
+  text: O nosso planeta chama-se planeta...
+  correct: ['Terra', 'terra']
+  # opcional
+  answer: dos macacos?
+  solution: |
+    O nosso planeta é o planeta **Terra**.
+
+    ![Terra](earth.jpg)
+
+# ----------------------------------------------------------------------------
+- type: radio
+  ref: largest-planet
+  title: Sistema solar
+  text: |
+    ![planetas](planets.png "Planetas do Sistema Solar")
+
+    Qual é o maior planeta do Sistema Solar?
+  options:
+    - Mercúrio
+    - Marte
+    - Júpiter
+    - Saturno
+    - Têm todos o mesmo tamanho
+  # opcional
+  correct: 2
+  shuffle: false
+  solution: |
+    O maior planeta é Júpiter. Tem uma massa 1000 vezes inferior ao Sol, mas
+    ainda assim 2.5 vezes maior que a massa de todos os outros planetas juntos.
+    É um gigante gasoso maioritariamente composto por hidrogénio.
+
+    ![Júpiter](jupiter.gif)
+
+# ----------------------------------------------------------------------------
+- type: text-regex
+  ref: saturn
+  title: Sistema solar
+  text: O planeta do sistema solar conhecido pelos seus aneis é o planeta...
+  correct: '[Ss]aturno'
+  solution: |
+    O planeta Saturno é famoso pelos seus anéis.
+    É o segundo maior planeta do Sistema Solar.
+    Tal como Júpiter, é um gigante gasoso.
+    Os seus anéis são formados por partículas de gelo.
+
+    ![Saturno](saturn.jpg)
+
+# ----------------------------------------------------------------------------
+- type: textarea
+  ref: first_3_planets
+  title: Sistema solar
+  text: |
+    Qual o nome dos três planetas mais próximos do Sol?
+    Exemplo `Ceres, Krypton e Vulcano`
+  correct: correct-first_3_planets.py
+  # correct: correct-timeout.py
+  # opcional
+  answer: Ceres, Krypton e Vulcano
+  timeout: 3
+  solution: |
+    Os 3 planetas mais perto do Sol são Mercúrio, Vénus e Terra.
@@ -0,0 +1,28 @@
+---
+# ----------------------------------------------------------------------------
+# import topics and their dependencies
+# ----------------------------------------------------------------------------
+topics_from:
+  - math.yaml
+  - astronomy.yaml
+
+# ----------------------------------------------------------------------------
+# course names, their goals and other details
+# ----------------------------------------------------------------------------
+courses:
+  math:
+    title: Matemática
+    description: |
+      Adição, multiplicação e números primos.
+    goals:
+      - math/addition
+      - math/multiplication
+      - math/prime-numbers
+
+  astronomy:
+    title: Astronomia
+    description: |
+      Sistema Solar e Via Láctea.
+    goals:
+      - astronomy/solar-system
+      # - astronomy/milky-way
@@ -1,29 +0,0 @@
----
-
-title: Example
-database: students.db
-
-# values applied to each topic, if undefined there
-file: questions.yaml
-shuffle_questions: true
-choose: 6
-max_tries: 2
-forgetting_factor: 0.97
-min_level: 0.01
-append_wrong: true
-
-# ----------------------------------------------------------------------------
-topics:
-  # topic without dependencies
-  math:
-    name: Matemática
-    file: questions.yaml
-    choose: 6
-    shuffle: true
-
-  # topic with one dependency
-  solar_system:
-    name: Sistema solar
-    deps:
-      - math
-    forgetting_factor: 0.1
@@ -0,0 +1,31 @@
+---
+# ----------------------------------------------------------------------------
+# optional values applied to each topic, if undefined there
+# ----------------------------------------------------------------------------
+
+# defaults:
+#   file: questions.yaml
+#   shuffle_questions: true
+#   choose: 6
+#   max_tries: 2
+#   forgetting_factor: 0.97
+#   min_level: 0.01
+#   append_wrong: true
+
+# ----------------------------------------------------------------------------
+# topics and their dependencies
+# ----------------------------------------------------------------------------
+
+topics:
+  math/addition:
+    name: Adição
+
+  math/multiplication:
+    name: Multiplicação
+    deps:
+      - math/addition
+
+  math/prime-numbers:
+    name: Números primos
+    deps:
+      - math/multiplication
@@ -0,0 +1,20 @@
+#!/usr/bin/env python3
+
+import random
+import sys
+
+a = int(sys.argv[1])
+b = int(sys.argv[2])
+
+x = random.randint(a, b)
+y = random.randint(a, b)
+r = x + y
+
+print(f'''---
+type: text
+title: Adição de números com 2 algarismos
+text: |
+  Qual o resultado da soma ${x}+{y}$?
+correct: ['{r}']
+solution: |
+  O resultado é {r}.''')
@@ -0,0 +1,22 @@
+---
+# ---------------------------------------------------------------------------
+- type: generator
+  ref: addition-two-digits
+  script: addition-two-digits.py
+  args: [10, 20]
+
+- type: checkbox
+  ref: addition-properties
+  title: Propriedades da adição
+  text: Indique quais as propriedades que a adição satisfaz.
+  options:
+    # right
+    - Existência de elemento neutro, $x+0=x$.
+    - Existência de inverso aditivo (simétrico), $x+(-x)=0$.
+    - Propriedade associativa, $(x+y)+z = x+(y+z)$.
+    - Propriedade comutativa, $x+y=y+x$.
+    # wrong
+    - Existência de elemento absorvente, $x+1=1$.
+  correct: [1, 1, 1, 1, -1]
+  solution: |
+    A adição não tem elemento absorvente.
@@ -1,29 +0,0 @@
-#!/usr/bin/env python3
-
-import random
-import sys
-
-a, b = map(int, sys.argv[1:])   # get command line arguments
-
-numbers = list(range(a, b))
-random.shuffle(numbers)
-numbers = numbers[:8]
-correct = [1 if n % 3 == 0 else -1 for n in numbers]
-
-multiples = [str(n) for n in numbers if n % 3 == 0]
-if multiples:
-    solution = f'Os números múltiplos de 3 são: {", ".join(multiples)}.'
-else:
-    solution = f'Nenhum número mostrado é múltiplo de 3.'
-
-
-q = f'''---
-type: checkbox
-title: Múltiplos de 3
-text: Indique quais dos seguintes números são múltiplos de 3.
-options: {numbers}
-correct: {correct}
-solution: |
-  {solution}'''
-
-print(q)
@@ -0,0 +1,27 @@
+#!/usr/bin/env python3
+
+import random
+import sys
+
+# can be repeated
+# x = random.randint(2, 9)
+# y = random.randint(2, 9)
+
+# with x != y
+x, y = random.sample(range(2,10), k=2)
+r = x * y
+
+yy = '+'.join([str(y)]*x)
+xx = '+'.join([str(x)]*y)
+
+print(f'''---
+type: text
+title: Multiplicação (tabuada)
+text: |
+  Qual o resultado da multiplicação ${x}\\times {y}$?
+correct: ['{r}']
+solution: |
+  A multiplicação é a repetição da soma. Podemos fazer de duas maneiras:
+  $$ {x}\\times {y} = {yy} = {r} $$
+  ou
+  $$ {y}\\times {x} = {xx} = {r}. $$''')
@@ -0,0 +1,24 @@
+---
+# ---------------------------------------------------------------------------
+- type: generator
+  ref: multiplication-table
+  script: multiplication-table.py
+
+- type: checkbox
+  ref: multiplication-properties
+  title: Propriedades da multiplicação
+  text: Indique quais as propriedades que a multiplicação satisfaz.
+  options:
+    # right
+    - Existência de elemento neutro, $1x=x$.
+    - Propriedade associativa, $(xy)z = x(yz)$.
+    - Propriedade comutativa, $xy=yx$.
+    - Existência de elemento absorvente, $0x=0$.
+    # wrong
+    - Existência de inverso, todos os números $x$ tem um inverso $1/x$ tal que
+      $x(1/x)=1$.
+  correct: [1, 1, 1, 1, -1]
+  solution: |
+    Na multiplicação nem todos os números têm inverso. Só têm inverso os números
+    diferentes de zero.
+    As outras propriedades são satisfeitas para todos os números.
@@ -0,0 +1,59 @@
+---
+# ---------------------------------------------------------------------------
+- type: radio
+  ref: prime-number-definition
+  title: Números primos
+  text: |
+    Qual a definição de número primo?
+  options:
+    - Um número $n>1$ é primo se só é divisível por si próprio e pela unidade.
+    - Um número $n\ge 2$ é primo se só é divisível por si próprio e pela unidade.
+    - Um número $n>1$ é primo se os seus divisores são apenas $1$ e $n$.
+    - Um número $n\ge 2$ é primo se os seus divisores são apenas $1$ e $n$.
+    # wrong
+    - Um número $n$ é primo se é divisível por si próprio e pela unidade.
+    - Um número $n>1$ é primo se é divisível por si próprio e pela unidade.
+    - Um número $n\ge 2$ é primo se não tem divisores.
+  choose: 3
+  correct: [1, 1, 1, 1, 0, 0, 0]
+  solution:
+    Um número $n$ é primo se $n\ge 2$ e se os únicos divisores forem $1$ e $n$.
+
+# ---------------------------------------------------------------------------
+- type: checkbox
+  ref: even-odd-prime
+  title: Números pares, ímpares e primos
+  text: Indique as afirmações verdadeiras.
+  options:
+    - ['3 é primo', '4 é primo']
+    - ['2 é par', '3 é par']
+    - ['1 é ímpar', '2 é ímpar']
+  correct: [1, 1, 1]
+  solution: |
+    A tabela seguinte resume as propriedades dos números 1 a 4:
+
+    Número | ímpar | par | primo
+    :-----:|:-----:|:---:|:------:
+    1      | S     | N   | N
+    2      | N     | S   | S
+    3      | S     | N   | S
+    4      | N     | S   | N
+
+# ---------------------------------------------------------------------------
+- type: radio
+  ref: prime-numbers
+  title: Números primos
+  text: Qual dos seguintes números é um primo múltiplo de 3?
+  options:
+    - 3
+    # wrong
+    - 9
+    - 13
+    - 21
+    - 15
+    - Não há primos múltiplos de 3.
+  max_tries: 1
+  solution: |
+    O único número primo múltiplo de 3 é o próprio 3.
+    Todos os outros múltiplos (6, 9, 12, 15, ...) têm 3 como divisor e portanto
+    não são primos.
@@ -1,87 +0,0 @@
----
-# ---------------------------------------------------------------------------
-- type: radio
-  ref: distributive_property
-  title: Propriedade distributiva
-  text: |
-    Qual das seguintes opções usa a propriedade distributiva para calcular
-    $9\times 2 - 2\times 3$?
-  options:
-    # correct
-    - $2\times(9 - 3)$
-    - $(9-3)\times 2$
-    # wrong
-    - $18 - 6 = 12$
-    - $2\times 9 - 2\times 3$
-    - $2\times(9-2\times 3)$
-  correct: [1, 1, 0, 0, 0]
-  choose: 3
-  max_tries: 1
-  solution: |
-    Colocando o 2 em evidência, obtém-se a resposta correcta $2\times(9 - 3)$
-    ou $(9-3)\times 2$.
-
-# ---------------------------------------------------------------------------
-- type: checkbox
-  ref: numbers
-  title: Números pares e primos
-  text: Indique as afirmações verdadeiras.
-  options:
-    - ['3 é primo', '4 é primo']
-    - ['2 é par', '3 é par']
-    - ['1 é ímpar', '2 é ímpar']
-  correct: [1, 1, 1]
-  solution: |
-    A tabela seguinte resume as propriedades dos números 1 a 4:
-
-    Número | ímpar | par | primo
-    :-----:|:-----:|:---:|:------:
-    1      | S     | N   | N
-    2      | N     | S   | S
-    3      | S     | N   | S
-    4      | N     | S   | N
-
-# ---------------------------------------------------------------------------
-- type: radio
-  ref: prime_numbers
-  title: Números primos
-  text: Qual dos seguintes números é primo?
-  options:
-    - 13
-    - 12
-    - 14
-    - 1, a **unidade**
-  max_tries: 1
-  solution: |
-    O único número primo é o 13.
-
-    O número 1, embora apenas seja divisível por ele próprio e pela unidade
-    (que neste caso coincide com ele próprio), não é um número primo. Apenas
-    são considerados números primos a partir do 2.
-
-# ---------------------------------------------------------------------------
-- type: checkbox
-  ref: math-expressions
-  title: Expressões matemáticas
-  text: Quais das seguintes expressões são verdadeiras?
-  options:
-    - $1 > 0$
-    - $\sqrt{3} > \sqrt{2}$
-    - $e^{i\pi} + 1 = 0$
-    - $\frac{\partial f(x,y)}{\partial z} = 1$
-    - $-1 > 1$
-  # how many points for each checkmark (normalized afterwards):
-  correct: [1, 1, 1, -1, -1]
-  solution: |
-    Das 5 opções existem 2 falsas. A derivada parcial é zero uma vez que a
-    função não varia com $z$. A desigualdade $-1 > 1$ é também falsa, os
-    números negativos são menores que os positivos.
-
-# ---------------------------------------------------------------------------
-# the program should print a question in yaml format. The args will be
-# sent as command line options when the program is run.
-- type: generator
-  ref: overflow
-  script: gen-multiples-of-3.py
-  args: [11, 120]
-  choose: 3
@@ -1,28 +0,0 @@
-#!/usr/bin/env python3
-
-import re
-import sys
-import time
-
-s = sys.stdin.read()
-
-ans = set(re.findall(r'[\w]+', s.lower()))  # convert answer to lowercase
-ans.difference_update({'e', 'a', 'o', 'planeta', 'planetas'})  # ignore words
-
-# correct set of planets
-planets = {'mercúrio', 'vénus', 'terra'}
-
-correct = set.intersection(ans, planets)     # the ones I got right
-wrong = set.difference(ans, planets)         # the ones I got wrong
-
-grade = (len(correct) - len(wrong)) / len(planets)
-
-comments = 'Certo' if grade == 1.0 else 'as iniciais dos planetas são M, V e T'
-
-out = f'''---
-grade: {grade}
-comments: {comments}'''
-
-time.sleep(2)  # simulate computation time (may generate timeout)
-
-print(out)
@@ -1,11 +0,0 @@
-#!/usr/bin/env python3
-
-import sys
-import time
-
-s = sys.stdin.read()
-
-# generate timeout
-time.sleep(100)
-
-print(0.5)
@@ -1,69 +0,0 @@
----
-
-# ---------------------------------------------------------------------------
-- type: text
-  ref: home-planet
-  title: Sistema solar
-  text: O nosso planeta chama-se planeta...
-  correct: ['Terra', 'terra']
-  # opcional
-  answer: Não é Marte...
-  solution: |
-    Embora algumas pessoas andem muitas vezes na Lua, o nosso planeta é o
-    planeta **Terra**!
-
-    ![Terra](earth.jpg)
-
-# ---------------------------------------------------------------------------
-- type: radio
-  ref: solar-system
-  title: Sistema solar
-  text: |
-    ![planetas](planets.png " Planetas do Sistema Solar")
-
-    Qual é o maior planeta do Sistema Solar?
-
-  options:
-    - Mercúrio
-    - Marte
-    - Júpiter
-    - Têm todos o mesmo tamanho
-  # opcional
-  correct: 2
-  shuffle: false
-  discount: true
-  solution: |
-    O maior planeta é Júpiter. Tem uma massa 1000 vezes inferior ao Sol, mas
-    ainda assim 2.5 vezes maior que a massa de todos os outros planetas juntos.
-    É um gigante gasoso maioritariamente composto por hidrogénio.
-
-    ![Júpiter](jupiter.gif)
-
-# ---------------------------------------------------------------------------
-- type: text-regex
-  ref: saturn
-  title: Sistema solar
-  text: O planeta do sistema solar conhecido por ter aneis é o planeta...
-  correct: '[Ss]aturno'
-  solution: |
-    O planeta Saturno é famoso pelos seus anéis.
-    É o segundo maior planeta do Sistema Solar, a seguir a Júpiter.
-    Tal como Júpiter, é um gigante gasoso.
-    Os seus anéis são formados por partículas de gelo.
-
-    ![Saturno](saturn.jpg)
-
-# ---------------------------------------------------------------------------
-- type: textarea
-  ref: first_3_planets
-  title: Sistema solar
-  text: |
-    Qual o nome dos três planetas mais próximos do Sol?
-    Exemplo `Lua, Ceres e Vulcano`
-  correct: correct-first_3_planets.py
-  # correct: correct-timeout.py
-  # opcional
-  answer: Vulcano, Krypton, Plutão
-  timeout: 3
-  solution: |
-    Os 3 planetas mais perto do Sol são: Mercúrio, Vénus e Terra.
1		1
2	# BUGS	2	# BUGS
3		3
		4	+- se num topico, a ultima pergunta tem imagens, o servidor nao fornece as imagengs porque o current_topic passa a None antes de carregar no botao continuar. O caminho é prefix+None e dá erro.
		5	+- registar last_seen e remover os antigos de cada vez que houver um login.
4	- initdb da integrity error se no mesmo comando existirem alunos repetidos (p.ex em ficheiros csv diferentes ou entre csv e opcao -a)	6	- initdb da integrity error se no mesmo comando existirem alunos repetidos (p.ex em ficheiros csv diferentes ou entre csv e opcao -a)
5	- permite definir goal, mas nao verifica se esta no grafo. rebenta no start_topic.	7	- permite definir goal, mas nao verifica se esta no grafo. rebenta no start_topic.
6	- double click submits twice.	8	- double click submits twice.
	@@ -462,7 +462,7 @@ class LearnApp(object):		@@ -462,7 +462,7 @@ class LearnApp(object):
462		462
463	# ------------------------------------------------------------------------	463	# ------------------------------------------------------------------------
464	def get_current_public_dir(self, uid: str) -> str:	464	def get_current_public_dir(self, uid: str) -> str:
465	- topic: str = self.online[uid]['state'].get_current_topic()	465	+ topic: str = self.online[uid]['state'].get_current_topic() # FIXME returns None if its the last question in the topic
466	prefix: str = self.deps.graph['prefix']	466	prefix: str = self.deps.graph['prefix']
467	return path.join(prefix, topic, 'public')	467	return path.join(prefix, topic, 'public')
468		468
@@ -0,0 +1,26 @@		@@ -0,0 +1,26 @@
	1	+---
	2	+# ----------------------------------------------------------------------------
	3	+# optional values applied to each topic, if undefined there
	4	+# ----------------------------------------------------------------------------
	5	+
	6	+# defaults:
	7	+# file: questions.yaml
	8	+# shuffle_questions: true
	9	+# choose: 6
	10	+# max_tries: 2
	11	+# forgetting_factor: 0.97
	12	+# min_level: 0.01
	13	+# append_wrong: true
	14	+
	15	+# ----------------------------------------------------------------------------
	16	+# topics and their dependencies
	17	+# ----------------------------------------------------------------------------
	18	+
	19	+topics:
	20	+ astronomy/solar-system:
	21	+ name: Sistema solar
	22	+
	23	+ # astronomy/milky-way:
	24	+ # name: Via Láctea
	25	+ # deps:
	26	+ # - solar-system
@@ -0,0 +1,28 @@		@@ -0,0 +1,28 @@
	1	+#!/usr/bin/env python3
	2	+
	3	+import re
	4	+import sys
	5	+import time
	6	+
	7	+s = sys.stdin.read()
	8	+
	9	+ans = set(re.findall(r'[\w]+', s.lower())) # convert answer to lowercase
	10	+ans.difference_update({'e', 'a', 'o', 'planeta', 'planetas'}) # ignore words
	11	+
	12	+# correct set of planets
	13	+planets = {'mercúrio', 'vénus', 'terra'}
	14	+
	15	+correct = set.intersection(ans, planets) # the ones I got right
	16	+wrong = set.difference(ans, planets) # the ones I got wrong
	17	+
	18	+grade = (len(correct) - len(wrong)) / len(planets)
	19	+
	20	+comments = 'Certo' if grade == 1.0 else 'as iniciais dos planetas são M, V e T'
	21	+
	22	+out = f'''---
	23	+grade: {grade}
	24	+comments: {comments}'''
	25	+
	26	+time.sleep(2) # simulate computation time (may generate timeout)
	27	+
	28	+print(out)
@@ -0,0 +1,11 @@		@@ -0,0 +1,11 @@
	1	+#!/usr/bin/env python3
	2	+
	3	+import sys
	4	+import time
	5	+
	6	+s = sys.stdin.read()
	7	+
	8	+# generate timeout
	9	+time.sleep(100)
	10	+
	11	+print(0.5)
@@ -0,0 +1,66 @@		@@ -0,0 +1,66 @@
	1	+---
	2	+# ----------------------------------------------------------------------------
	3	+- type: text
	4	+ ref: planet-earth
	5	+ title: Sistema solar
	6	+ text: O nosso planeta chama-se planeta...
	7	+ correct: ['Terra', 'terra']
	8	+ # opcional
	9	+ answer: dos macacos?
	10	+ solution: \|
	11	+ O nosso planeta é o planeta Terra.
	12	+
	13	+ ![Terra](earth.jpg)
	14	+
	15	+# ----------------------------------------------------------------------------
	16	+- type: radio
	17	+ ref: largest-planet
	18	+ title: Sistema solar
	19	+ text: \|
	20	+ ![planetas](planets.png "Planetas do Sistema Solar")
	21	+
	22	+ Qual é o maior planeta do Sistema Solar?
	23	+ options:
	24	+ - Mercúrio
	25	+ - Marte
	26	+ - Júpiter
	27	+ - Saturno
	28	+ - Têm todos o mesmo tamanho
	29	+ # opcional
	30	+ correct: 2
	31	+ shuffle: false
	32	+ solution: \|
	33	+ O maior planeta é Júpiter. Tem uma massa 1000 vezes inferior ao Sol, mas
	34	+ ainda assim 2.5 vezes maior que a massa de todos os outros planetas juntos.
	35	+ É um gigante gasoso maioritariamente composto por hidrogénio.
	36	+
	37	+ ![Júpiter](jupiter.gif)
	38	+
	39	+# ----------------------------------------------------------------------------
	40	+- type: text-regex
	41	+ ref: saturn
	42	+ title: Sistema solar
	43	+ text: O planeta do sistema solar conhecido pelos seus aneis é o planeta...
	44	+ correct: '[Ss]aturno'
	45	+ solution: \|
	46	+ O planeta Saturno é famoso pelos seus anéis.
	47	+ É o segundo maior planeta do Sistema Solar.
	48	+ Tal como Júpiter, é um gigante gasoso.
	49	+ Os seus anéis são formados por partículas de gelo.
	50	+
	51	+ ![Saturno](saturn.jpg)
	52	+
	53	+# ----------------------------------------------------------------------------
	54	+- type: textarea
	55	+ ref: first_3_planets
	56	+ title: Sistema solar
	57	+ text: \|
	58	+ Qual o nome dos três planetas mais próximos do Sol?
	59	+ Exemplo `Ceres, Krypton e Vulcano`
	60	+ correct: correct-first_3_planets.py
	61	+ # correct: correct-timeout.py
	62	+ # opcional
	63	+ answer: Ceres, Krypton e Vulcano
	64	+ timeout: 3
	65	+ solution: \|
	66	+ Os 3 planetas mais perto do Sol são Mercúrio, Vénus e Terra.
	@@ -1,29 +0,0 @@	@@ -1,29 +0,0 @@
1	----
2	-
3	-title: Example
4	-database: students.db
5	-
6	-# values applied to each topic, if undefined there
7	-file: questions.yaml
8	-shuffle_questions: true
9	-choose: 6
10	-max_tries: 2
11	-forgetting_factor: 0.97
12	-min_level: 0.01
13	-append_wrong: true
14	-
15	-# ----------------------------------------------------------------------------
16	-topics:
17	- # topic without dependencies
18	- math:
19	- name: Matemática
20	- file: questions.yaml
21	- choose: 6
22	- shuffle: true
23	-
24	- # topic with one dependency
25	- solar_system:
26	- name: Sistema solar
27	- deps:
28	- - math
29	- forgetting_factor: 0.1
@@ -0,0 +1,31 @@		@@ -0,0 +1,31 @@
	1	+---
	2	+# ----------------------------------------------------------------------------
	3	+# optional values applied to each topic, if undefined there
	4	+# ----------------------------------------------------------------------------
	5	+
	6	+# defaults:
	7	+# file: questions.yaml
	8	+# shuffle_questions: true
	9	+# choose: 6
	10	+# max_tries: 2
	11	+# forgetting_factor: 0.97
	12	+# min_level: 0.01
	13	+# append_wrong: true
	14	+
	15	+# ----------------------------------------------------------------------------
	16	+# topics and their dependencies
	17	+# ----------------------------------------------------------------------------
	18	+
	19	+topics:
	20	+ math/addition:
	21	+ name: Adição
	22	+
	23	+ math/multiplication:
	24	+ name: Multiplicação
	25	+ deps:
	26	+ - math/addition
	27	+
	28	+ math/prime-numbers:
	29	+ name: Números primos
	30	+ deps:
	31	+ - math/multiplication
@@ -0,0 +1,20 @@		@@ -0,0 +1,20 @@
	1	+#!/usr/bin/env python3
	2	+
	3	+import random
	4	+import sys
	5	+
	6	+a = int(sys.argv[1])
	7	+b = int(sys.argv[2])
	8	+
	9	+x = random.randint(a, b)
	10	+y = random.randint(a, b)
	11	+r = x + y
	12	+
	13	+print(f'''---
	14	+type: text
	15	+title: Adição de números com 2 algarismos
	16	+text: \|
	17	+ Qual o resultado da soma ${x}+{y}$?
	18	+correct: ['{r}']
	19	+solution: \|
	20	+ O resultado é {r}.''')
@@ -0,0 +1,22 @@		@@ -0,0 +1,22 @@
	1	+---
	2	+# ---------------------------------------------------------------------------
	3	+- type: generator
	4	+ ref: addition-two-digits
	5	+ script: addition-two-digits.py
	6	+ args: [10, 20]
	7	+
	8	+- type: checkbox
	9	+ ref: addition-properties
	10	+ title: Propriedades da adição
	11	+ text: Indique quais as propriedades que a adição satisfaz.
	12	+ options:
	13	+ # right
	14	+ - Existência de elemento neutro, $x+0=x$.
	15	+ - Existência de inverso aditivo (simétrico), $x+(-x)=0$.
	16	+ - Propriedade associativa, $(x+y)+z = x+(y+z)$.
	17	+ - Propriedade comutativa, $x+y=y+x$.
	18	+ # wrong
	19	+ - Existência de elemento absorvente, $x+1=1$.
	20	+ correct: [1, 1, 1, 1, -1]
	21	+ solution: \|
	22	+ A adição não tem elemento absorvente.