math - isControllable and isObservable maple functions: Is there a way to make them show steps? -

so can use isobservable work systems wonder if can make tham show staps or that. possible?

i'm supposing referring observable , controllable commands part of dynamicsystems package.

some maple routines have so-called userinfo messages, optionally displayed , can show partial steps. typically enabled call infolevel[dynamicsystems]:=6 6 highest level of detail. lower value less detail might displayed. unfortunately, these particular dynamicsystems routines don't seem have userinfo messages in them. won't directly in case.

sometimes 1 package calls another. routine linearalgebra:-rank called, @ point, when controllable called. i'm guessing don't wish see userinfo messages in rank, enabled issuing infolevel[linearalgebra]:=n n between 1 , 6.

an alternative set printlevel high. doing make maple internal calls verbose. resulting output of setting, say, printlevel:=20 overwhelming. doubt you'd find approach useful.

another alternative set routines option trace. doing entails knowing names of appropriate internal routines. , made more complicated fact not non-exported module locals visible default. try first issuing call, trace(dynamicsystems::controllabless): before invoking controllable on system. shows intermediary results, might not make sense unless know source lines generating results. can see source issuing command, showstat(dynamicsystems::controllabless);

here's example,

restart: with( dynamicsystems ): asys := statespace( <<1,2>|<3,4>>, <<2,3>>, <<1,0>|<0,1>>, <<0,0>> ): asys:-a, asys:-b, asys:-c: trace(dynamicsystems::controllabless): controllable( asys ); showstat(dynamicsystems::controllabless); 

by looking @ source of controllabless routine, can deduce calls dynamicsystems:-staircasetransformation when staircase method specified. here issue showstat(dynamicsystems::staircasetransformation) see source of internal (local) routine. or trace routine well.

as general rule, can refer exports of module or package using :- notation. , can pass such names trace , showstat using :: notation instead of :-, unless have first set kernelopts(opaquemodules=false). if inner submodule member has more 1 :- in name you'd have use round-bracket delimiters refer :: syntax. sorry, that's not easy express.