from mathlearning.services.result_service import ResultService
from mathlearning.utils.logger import Logger
from mathlearning.model.expression import Expression
from rest_framework.request import Request
from django.urls import path
from rest_framework.decorators import api_view
from rest_framework.response import Response
from rest_framework import status
import json
result_service = ResultService()
logger = Logger.getLogger()
validateMapper = ValidateMapper()
theoremMapper = TheoremMapper()
solutionTreeMapper = SolutionTreeMapper()
@api_view(['POST'])
def solve_derivative(request: Request):
if request.method == 'POST':
body = json.loads(request.body)
expression = Expression(body['expression'])
result = result_service.get_derivative_result(expression)
logger.info('Returning the following response: {}'.format(result))
return Response(result.to_latex(), status=status.HTTP_200_OK)
@api_view(['POST'])
def calculate_solution_tree(request: Request):
if request.method == 'POST':
import json
from rest_framework import status
from rest_framework.test import APITestCase
from mathlearning.mappers.solution_tree_mapper import SolutionTreeMapper
from mathlearning.model.expression import Expression
solution_tree_mapper = SolutionTreeMapper()
def load_theorems():
with open("test/jsons/theorems.json", 'r') as theorems_file:
return json.load(theorems_file)
def get_solution_tree_broken_nodes(tree_dict):
result = []
for branch in tree_dict['branches']:
try:
Expression(branch['expression'])
result += get_solution_tree_broken_nodes(branch)
except:
result.append({
'before': tree_dict['expression'],
'after': branch['expression'],
'theorem': branch['theorem_applied']
})
return result