Esempio n. 1
0
class Sheet(db.Model):
    id = db.Column(db.Integer, primary_key=True)
    number = db.Column(db.Float)
    option1 = db.Column(db.Boolean, default=False)
    option2 = db.Column(db.Boolean, default=False)
    option3 = db.Column(db.Boolean, default=False)
    option4 = db.Column(db.Boolean, default=False)
    option5 = db.Column(db.Boolean, default=False)
    edit_date = db.Column(db.DateTime)
    point = db.Column(db.Float)

    user_id = db.Column(
        db.Integer,
        db.ForeignKey('user.id'),
        nullable=False)
    user = db.relationship(
        'User',
        backref=db.backref('sheets',lazy='dynamic')
    )
    exercise_id = db.Column(
        db.Integer,
        db.ForeignKey('exercise.id'),
        nullable=False)
    exercise = db.relationship(
        'Exercise',
        backref=db.backref('sheets',lazy='dynamic')
    )
    question_id = db.Column(
        db.Integer,
        db.ForeignKey('question.id'),
        nullable=False)
    question = db.relationship(
        'Question',
        backref=db.backref('sheets',lazy='dynamic')
    )

    def __repr__(self):
        try:
            return "%s %s %s" % (user.name, exercise.name, question.name)
        except:
            return "answer sheet"
Esempio n. 2
0
class Exercise(db.Model):
    id = db.Column(db.Integer, primary_key=True)
    name = db.Column(db.String(100), unique=True, nullable=False)
    open_date = db.Column(db.DateTime, nullable=False)
    close_date = db.Column(db.DateTime, nullable=False)
    active = db.Column(db.Boolean, default=True)
    questions = db.relationship(
        'Question',
        secondary = question_exercise,
        backref = db.backref('exercises', lazy='dynamic'),
    )

    def __repr__(self):
        return self.name
Esempio n. 3
0
class Unit(db.Model):
    id = db.Column(db.Integer, primary_key=True)
    name = db.Column(db.String(50), unique=True, nullable=False)
    fullname = db.Column(db.String(100), nullable=False)
    face = db.Column(db.String(100))
    SI_value = db.Column(db.Float)
    category_id = db.Column(
        db.Integer, 
        db.ForeignKey('unit_category.id'),
        nullable=False)
    active_variables = db.relationship(
        'Variable',
        secondary = variable_units,
        backref = db.backref('units', lazy='dynamic')
    )

    def __init__(self, 
        name='', fullname='', face='', SI_value=1., category=None
    ):
        self.fullname = fullname
        self.name = name
        if not face:
            face = name
        self.face = face
        self.SI_value = SI_value
        if isinstance(category, UnitCategory):
            self.category = category
        else:
            try:
                category_type = UnitCategory.query.filter_by(
                    name = category,
                ).first()
                if category_type:
                    self.category = category_type
            except:
                self.category = None

    def __repr__(self):
        return "%s (%s)" % (self.name, self.category.name)
 
    def _copy(self):
        new = Unit(
            fullname = self.fullname,
            name = self.name,
            face = self.face,
            SI_value = self.SI_value,
            category = self.category
        )
        new._value = self._value
        return new

    def from_SI(self, value):
        return float(value) / float(self.SI_value)

    def get_face(self):
        return "%s (%s)" % (self.fullname, self.face)

    def value(self):
        self._get_value()
        return float(self._value) * float(self.SI_value)

    def face_value(self):
        self._get_value()
        return float(self._value)

    def to(self, other):
        assert type(self) is type(other)
        self._get_value()
        other._get_value()
        out = deepcopy(other)
        if self.name != other.name:
           out._value = self._value * convert(self, other) 
        return out

    def _get_value(self):
        try:
            self.category._get_value()
        except:
            pass
        if not hasattr(self, '_value'):
            self._value = 1.
        return self

    def _add_sub(self, other, operation):

        assert type(self) is type(other)
        assert self.category.name == other.category.name

        self._get_value()
        other._get_value()
        out = self._copy

        if operation == '+':
            out._value = out._value + convert(other, out)
        elif operation == '-':
            out._value = out._value - convert(other, out)

        return out

    def _mul_div(self, other, operation):

        self._get_value()
        out = self._copy()

        if isinstance(other, Number):
            out._value = other * out._value
            new_unit = out
            
        elif type(out) is type(other):

            other._get_value()
 
            new_unit_type = out.category.name + operation + other.category.name
            new_unit_name = out.name + operation + other.name

            if operation == '*':
                new_base = out.category._value + other.category._value
                SI_value = out.SI_value * other.SI_value
                _value = out._value * other._value

            elif operation == '/':
                new_base = out.category._value - other.category._value
                SI_value = out.SI_value / float(other.SI_value)
                _value = out._value / float(other._value)

            new_unit_category = UnitCategory(
                new_unit_type,
                *new_base.tolist()
            )
            new_unit = Unit(
                name = new_unit_name, 
                category = new_unit_category
            )
            new_unit.SI_value = SI_value
            new_unit._value = _value

        else:
            raise TypeError

        return new_unit

    def __add__(self, other):
        return self._add_sub(other, '+')

    def __radd__(self, other):
        return self._add_sub(other, '+')

    def __sub__(self, other):
        return self._add_sub(other, '-')

    def __rsub__(self, other):
        return self._add_sub(other, '-')
        
    def __mul__(self, other):
        return self._mul_div(other, '*')

    def __rmul__(self, other):
        return self._mul_div(other, '*')

    def __div__(self, other):
        return self._mul_div(other, '/')

    def __rdiv__(self, other):
        return self._mul_div(other, '/')

    def SI_face(self):
        self._get_value()
        key = ['m', 'kg', 's', 'A', 'K', 'mol', 'cd']
        out = r'% 5.2E $\times$' % (self._value * self.SI_value)
        for i in range(len(key)):
            if self.category._value[i] != 0:
                p = self.category._value[i]
                if p != 1:
                    out = out + r' %s$^{%s}$' % (key[i], p)
                else:
                    out = out + r' %s' % key[i]
        return out
Esempio n. 4
0
class Question(db.Model):
    id = db.Column(db.Integer, primary_key=True)
    name = db.Column(db.String(100), nullable=False)
    body = db.Column(db.Text, nullable=False)
    answer_command = db.Column(db.Text)
    no_answer = db.Column(db.Boolean, default=False)
    # relationship with question
    category_id = db.Column(
        db.Integer,
        db.ForeignKey('question_category.id'))

    text_variables = db.relationship(
        'Variable',
        backref = 'question',
        primaryjoin = 'Question.id==Variable.question_id',
        lazy='dynamic')

    answer_units = db.relationship(
        'Unit',
        secondary = question_unit_text,
        backref = db.backref('answer_questions', lazy='dynamic')
    )

    correct_variable_id = db.Column(db.Integer, 
        db.ForeignKey('variable.id'))
    correct_variable = db.relationship(
        Variable, 
        backref = db.backref('correct_question', order_by=id),
        foreign_keys=correct_variable_id)

    wrong_variable_id = db.Column(db.Integer, 
        db.ForeignKey('variable.id'))
    wrong_variable = db.relationship(
        Variable, 
        backref = db.backref('wrong_question', order_by=id),
        foreign_keys=wrong_variable_id)

    def __init__(self, name='', body='', answer_command='',
        category_id = None, text_variables=[], correct_variable_id = None,
        correct_variable = None, wrong_variable_id = None,
        wrong_variable = None, answer_units=[],
    ):
        self.name = name
        self.body = body
        self.answer_command = answer_command
        self.category_id = category_id
        if len(text_variables) > 0 and type(text_variables[0]) is str:
            variable_list = []
            for i in range(len(text_variables)):
                var = Variable.query.filter_by(
                    name = text_variables[i]
                ).first()
                variable_list.append(var)
            self.text_variables = variable_list
        else:
            self.text_variables = text_variables
        self.correct_variable_id = correct_variable_id
        if type(correct_variable) is str:
            var = Variable.query.filter_by(
                name = correct_variable
            ).first()
            self.correct_variable = var
        else:
            self.correct_variable = correct_variable
        self.wrong_variable_id = wrong_variable_id
        if type(wrong_variable) is str:
            var = Variable.query.filter_by(
                name = wrong_variable
            ).first()
            self.wrong_variable = var
        else:
            self.wrong_variable = wrong_variable
        self.answer_units = answer_units

    def __repr__(self):
        if self.category:
            return "%s %s" % (self.category.name, self.name)
        else:
            return self.name

    def render(self, seed, options=5):
        seed = seed + self.id
        rs = np.random.RandomState(seed)
        text = self.body
        for i in range(len(self.text_variables.all())):
            var = self.text_variables[i]
            pattern = '_' + var.name + '_'
            text = text.replace(pattern, 
                str(var.render(seed+i)))

        if self.answer_units:
            unit_rs = np.random.RandomState(seed+1)
            unit = unit_rs.choice(self.answer_units)
            pattern = '_unit_'
            face = unit.get_face()
            text = text.replace(pattern, face)
        
        option_list = []
        if self.correct_variable and self.wrong_variable:
            option_list = []
            correct_list = rs.permutation(
                self.correct_variable.get_list()
            ).tolist()
            wrong_list = rs.permutation(
                self.wrong_variable.get_list()
            ).tolist()
            ind = rs.randint(0, len(correct_list))
            option_list.append(correct_list.pop(ind))
            correct_list.extend(wrong_list)
            option_list.extend(
                rs.permutation(correct_list)[:options - 1]
            )
        return text, rs.permutation(option_list)
            
    def evaluate(self, seed):
        qseed = seed + self.id
        rs = np.random.RandomState(qseed)
        if self.answer_command:
            answer = self.answer_command
            for i in range(len(self.text_variables.all())):
                var = self.text_variables[i]
                name = '_' + var.name + '_'
                answer = answer.replace(name, str(var.value(qseed+i)))
            SI_answer = float(parse_expr(answer))
            if self.answer_units:
                unit_rs = np.random.RandomState(qseed+1)
                unit = unit_rs.choice(self.answer_units)
                SI_answer = unit.from_SI(SI_answer)
            return SI_answer
        else:
            answer_list = []
            option_list = self.render(seed)[1]
            for i in range(len(option_list)):
                if option_list[i] in self.correct_variable.get_list():
                    answer_list.append(i)
            return answer_list