2021-05-16から1日間の記事一覧
https://github.com/kovzol/realgeom/blob/master/src/test/resources/benchmark.csv 上記の各 LHS,RHS の s に (a+b+c)/2 を代入し,LHS-m*RHS を通分した有理式の分子 P に対する tst12([ex,ex], [m,b,c], andx, "P|_{a=1}=0, 1
https://github.com/kovzol/realgeom/blob/master/src/test/resources/benchmark.csv 上記の各 LHS,RHS の s に (a+b+c)/2 を代入し,LHS-m*RHS を通分した有理式の分子 P に対する tst12([ex,ex], [m,b,c], andx, "P|_{a=1}=0, 1