According to the Help for
I tried several commands but each time see the same message:
Summary: No statistics available.
How to see "live" statistic message? Say, an example of commands it is generated with? fricas (1) -> )set message summary on
Type: PositiveInteger?
Collecting statistics is unimplemented... ... --test1, Thu, 23 Feb 2017 19:36:54 +0000 reply Severity: normal => wishlist
|