Maxima: Calling “assume()” in a function

前端 未结 0 1280
别跟我提以往
别跟我提以往 2020-11-30 03:57

Defining the function

foo(a, b) := apply(\'assume, [a < b])$

do

facts();
  -> []

foo(0, a);
  -> [inconsistent]  /*          


        
相关标签:
回答
  • 消灭零回复
提交回复
热议问题