diogo/polynomialmani.pl
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

This was a terrible merge and I don't want to talk about it

Browse Source
This commit is contained in:
Diogo Cordeiro 2018-11-22 23:34:32 +00:00
parent 65ddb5776f
commit bb6bb1ab2f
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
polimani.pl
View File

@ -577,9 +577,7 @@ append_two_atoms_with_star(V1, V2, R) :-
scale_polynomial(P, C, S) :-
polynomial_to_list(P, L),
maplist(append_two_atoms_with_star(C), L, L2),
polynomial_to_list(S, L2),
simplify_polynomial(S, S1),
!.
list_to_polynomial(L2, S).
%% Tests:
%% ?- scale_polynomial(3*x^2, 2, S).
%@ S = 2*3*x^2.