Ocaml) 다항식을 계산해서 간단히 만들기 Output 오류

Question

Ocaml 를 사용해서 다항식을 간단히 만드는 계산 프로그램을 작성중인데요, 작동은 되는데 오류가 하나 나서 질문합니다. &#34;(x-1)x(x-5)(4xxx-11&#43;66*x)&#34; 를 인풋하면 4.xxxxxx&#43;-24.xxxxx&#43;86.xxx*x&#43;-407.xxx&#43;396.xx&#43;-55.x 가 나와야 하는데 4.xxxxxx&#43;-407.xxx&#43;86.xxx*x&#43;-24.xxxxx&#43;396.xx&#43;-55.x 가 나와요.그래서 몇가지 테스트를 더 했는데, Input: 4x*x-11&#43;66*x 1&#43;(2*x)Output: 4.xx&#43;-11.x&#43;66.x 1.*x&#43;2.*x나와야 하는 값: 4.xx&#43;66.*x&#43;-11. 2.*x&#43;1.테스트 결과, 변수를 가진 다항식(4xx) 에 상수 단항식을 더하거나 빼면(-11) 결과에 상수 단항식에 변수가 붙어 나오네요 (&#43;-11.x)이걸 제외한 다른 계산식은 다 잘 되는데 혹시 문제를 찾을 수 있을까요?Ocaml라는 언어가 많이 활성화 되어있지 않아서 문제점을 쉽게 찾기가 힘드네요 부탁드립니다!(*ast.ml*) type binop &#61; Add | Sub | Mul type expression &#61; | Num of float | Var | Binop of binop * expression * expression(*main.ml*) open List open Ast open ExpressionLibrary (* Define a type for monomials *) type monomial &#61; (float * int) (* Helper function to multiply monomials *) let multiply_monomials (m1: monomial) (m2: monomial) : monomial &#61; match (m1, m2) with | ((c1, d1), (c2, d2)) -> (c1 *. c2, d1 &#43; d2) let rec multiply_polynomials (p1: (float * int) list) (p2: (float * int) list) : (float * int) list &#61; match p1 with | [] -> [] | (c1, d1) :: rest -> let multiplied_terms &#61; List.map (fun (c2, d2) -> (c1 *. c2, d1 &#43; d2)) p2 in let multiplied_polynomial &#61; List.map (fun (c, d) -> (c, d)) multiplied_terms in let product_with_rest &#61; multiply_polynomials rest p2 in multiplied_polynomial &#64; product_with_rest (* Helper function to add two monomials with the same degree *) let add_monomials (m1: monomial) (m2: monomial) : monomial &#61; match (m1, m2) with | ((coeff1, degree1), (coeff2, _)) -> (coeff1 &#43;. coeff2, degree1) (* Helper function to simplify a list of monomials *) let rec simplify_monomials (monomials: monomial list) : monomial list &#61; let rec add_to_monomials ((c, d) as m) &#61; function | [] -> [m] | (c', d') :: rest when d &#61; d' -> if d > 0 then (c &#43;. c', d) :: rest else (c &#43;. c', 0) :: rest | hd :: rest -> hd :: add_to_monomials m rest in let filtered_monomials &#61; List.filter (fun (c, _) -> c <> 0.0) monomials in List.fold_left (fun acc m -> add_to_monomials m acc) [] filtered_monomials (* Helper function to simplify an expression to a list of monomials *) let rec expression_to_monomials (e: expression) : monomial list &#61; match e with | Num c -> [(c, 0)] | Var -> [(1.0, 1)] | Binop (op, e1, e2) -> let monomials1 &#61; expression_to_monomials e1 in let monomials2 &#61; expression_to_monomials e2 in match op with | Add -> simplify_monomials (monomials1 &#64; monomials2) | Sub -> simplify_monomials (monomials1 &#64; List.map (fun (c, d) -> (-1.0 *. c, d)) monomials2) | Mul -> simplify_monomials (multiply_polynomials monomials1 monomials2) (* Helper function to create an exponentiation expression *) let rec create_pow_expression (base: expression) (exponent: int) : expression &#61; if exponent &#61; 1 then base else if exponent mod 2 &#61; 0 then let half_pow &#61; create_pow_expression base (exponent / 2) in Binop(Mul, half_pow, half_pow) else Binop(Mul, base, create_pow_expression base (exponent - 1)) (* Helper function to convert a list of monomials back to an expression *) let monomials_to_expression (monomials: monomial list) : expression &#61; let rec monomials_to_expr_helper (monomials: monomial list) : expression &#61; match monomials with | [] -> Num 0.0 | [(c, 0)] -> Num c | [(c, 1)] -> Binop (Mul, Num c, Var) | [(c, d)] when d > 1 -> let variable_expr &#61; create_pow_expression Var d in Binop (Mul, Num c, variable_expr) | (c, d) :: rest when d > 1 -> let variable_expr &#61; create_pow_expression Var d in Binop (Add, Binop (Mul, Num c, variable_expr), monomials_to_expr_helper rest) | (c, _) :: rest -> Binop (Add, Binop (Mul, Num c, Var), monomials_to_expr_helper rest) in monomials_to_expr_helper monomials (* Main simplify function *) let simplify (e: expression) : expression &#61; let monomials &#61; expression_to_monomials e in let simplified_monomials &#61; simplify_monomials monomials in monomials_to_expression simplified_monomials (*&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;&#61;*) let print_simplified_expression expr_str &#61; let simplified_expr &#61; simplify (parse expr_str) in let stringified_expr &#61; to_string_wo_paren simplified_expr in print_string stringified_expr; print_newline (); ;; print_newline (); print_string (to_string_wo_paren (simplify (parse &#34;3*x*x &#43; 2*x - 5 &#43; 4*x*x - 7*x&#34;))); print_newline (); print_newline (); print_simplified_expression &#34;(x-1)*x*(x-5)*(4*x*x*x-11&#43;66*x)&#34;; print_simplified_expression &#34;4*x*x-11&#43;66*x&#34;; print_simplified_expression &#34;1&#43;(2*x)&#34;;

Ocaml) 다항식을 계산해서 간단히 만들기 Output 오류

0개의 답변

기술 목록