ary_chk_sub_get_idx1stL_testStd start time : 3Mar2024 19h00m20s +--+-----------+---------------------------------------------+---------------------------------+ |OK|test# |dat0 |dat1 | +--+-----------+---------------------------------------------+---------------------------------+ | o|null_null01| | | +--+-----------+---------------------------------------------+---------------------------------+ | o|null_atm01 | | 4| +--+-----------+---------------------------------------------+---------------------------------+ | o|null_lst01 | |the bigg fat cow | +--+-----------+---------------------------------------------+---------------------------------+ | o|atm_null01 |g | | +--+-----------+---------------------------------------------+---------------------------------+ | o|atm_atm01 |g |g | +--+-----------+---------------------------------------------+---------------------------------+ | o|atm_atm02 | 4| 4| +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_null01 |the bigg fat cow | | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_atm01 |the bigg fat cow | | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_atm02 |0 1 2 3 4 5 6 7 8 9 | 4| +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lst01 |the bigg fat cow |g | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lst02 |the bigg fat cow | | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lst03 |the bigg fat cow | b | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lst04 |the bigg fat cow |g | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lst05 |the bigg fat cow |bigg | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lst06 |the bigg fat cowbig bigg |bigg | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lst07 |what goes around comes around |around | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lst08 |0 1 2 3 4 5 6 7 8 9 |4 5 | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lst09 |[#=; backtrack ;=#] Mega-Life |[#=; backtrack ;=#] | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lst10 |[#=; backtrack ;=#] |[#=; backtrack ;=#] Mega-Godzilla| +--+-----------+---------------------------------------------+---------------------------------+ | o|lstL_lst01 |+-------------------+-------------------+-+-+|4 5 | | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4|5|| | | | |+-------------------+-------------------+-+-+| | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lstL01 |[#=; backtrack ;=#]Mega-Life |+-----+-----+ | | | | ||[#=; | ;=#]| | | | | |+-----+-----+ | +--+-----------+---------------------------------------------+---------------------------------+ | o|lst_lstL02 |0 1 2 3 4 5 6 7 8 9 |+-+-+ | | | | ||4|5| | | | | |+-+-+ | +--+-----------+---------------------------------------------+---------------------------------+ | o|lstL_lstL01|0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 4 5 |4 5 | +--+-----------+---------------------------------------------+---------------------------------+ | o|ary_atm01 | 0 1 2 3 4 | 4| | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+---------------------------------+ | o|ary_lst01 | 0 1 2 3 4 |5 6 7 8 | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+---------------------------------+ | o|ary_lst02 | 0 1 2 3 4 |4 5 | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+---------------------------------+ | o|ary_ary01 | 0 1 2 3 4 |1 2 3 | | | | 5 6 7 8 9 |6 7 8 | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+---------------------------------+ +--+-----------+----------------+---------------+ |OK|test# |std |calc | +--+-----------+----------------+---------------+ | o|null_null01|?aryNoAdrIsNull |?isAryIdxAblNul| +--+-----------+----------------+---------------+ | o|null_atm01 |?aryNoAdrIsNull |?isAryIdxAblNul| +--+-----------+----------------+---------------+ | o|null_lst01 |?aryNoAdrIsNull |?isAryIdxAblNul| +--+-----------+----------------+---------------+ | o|atm_null01 |?aryNoAdrValLT1 |?isAryIdxAblAtm| +--+-----------+----------------+---------------+ | o|atm_atm01 |?aryNoAdrValLT1 |?isAryIdxAblAtm| +--+-----------+----------------+---------------+ | o|atm_atm02 |?aryNoAdrValLT1 |?isAryIdxAblAtm| +--+-----------+----------------+---------------+ | o|lst_null01 |?aryItmGetIdxL01| | +--+-----------+----------------+---------------+ | o|lst_atm01 |?arySubComp1 |?arySubFitVlc | +--+-----------+----------------+---------------+ | o|lst_atm02 |?arySubComp1 |?arySubFitVlc | +--+-----------+----------------+---------------+ | o|lst_lst01 |+-+-+ | | | | ||6|7| | | | | |+-+-+ | | +--+-----------+----------------+---------------+ | o|lst_lst02 |+-+-+--+ | | | | ||3|8|12| | | | | |+-+-+--+ | | +--+-----------+----------------+---------------+ | o|lst_lst03 |+-+ | | | | ||3| | | | | |+-+ | | +--+-----------+----------------+---------------+ | o|lst_lst04 |+-+ | | | | ||7| | | | | |+-+ | | +--+-----------+----------------+---------------+ | o|lst_lst05 |+-+ | | | | ||4| | | | | |+-+ | | +--+-----------+----------------+---------------+ | o|lst_lst06 |+-+--+ | | | | ||4|20| | | | | |+-+--+ | | +--+-----------+----------------+---------------+ | o|lst_lst07 |+--+--+ | | | | ||10|23| | | | | |+--+--+ | | +--+-----------+----------------+---------------+ | o|lst_lst08 |+-+ | | | | ||4| | | | | |+-+ | | +--+-----------+----------------+---------------+ | o|lst_lst09 |+-+ | | | | ||0| | | | | |+-+ | | +--+-----------+----------------+---------------+ | o|lst_lst10 |?arySubComp2 |?arySubFitShp | +--+-----------+----------------+---------------+ | o|lstL_lst01 |+-+ | | | | ||2| | | | | |+-+ | | +--+-----------+----------------+---------------+ | o|lst_lstL01 |?aryItmGetIdxL01| | +--+-----------+----------------+---------------+ | o|lst_lstL02 |?aryItmGetIdxL01| | +--+-----------+----------------+---------------+ | o|lstL_lstL01|+-+--+--+ | | | | ||4|14|20| | | | | |+-+--+--+ | | +--+-----------+----------------+---------------+ | o|ary_atm01 |?arySubComp1 |?arySubFitVlc | +--+-----------+----------------+---------------+ | o|ary_lst01 |?arySubComp1 |?arySubFitVlc | +--+-----------+----------------+---------------+ | o|ary_lst02 |?arySubComp1 |?arySubFitVlc | +--+-----------+----------------+---------------+ | o|ary_ary01 |+---+ | | | | ||0 1| | | | | |+---+ | | +--+-----------+----------------+---------------+ +--+-----------+------------------------------------------------------------------------------------------+ |OK|test# |comments | +--+-----------+------------------------------------------------------------------------------------------+ | o|null_null01|not defined for null = [sub, ary] | +--+-----------+------------------------------------------------------------------------------------------+ | o|null_atm01 |not defined for null = sub | +--+-----------+------------------------------------------------------------------------------------------+ | o|null_lst01 |not defined for null = sub | +--+-----------+------------------------------------------------------------------------------------------+ | o|atm_null01 |should be ?aryNoAdrValLT1, (1 > (valence ary)), ary cannot be is[Atm, Solitary] | +--+-----------+------------------------------------------------------------------------------------------+ | o|atm_atm01 |should be ?aryNoAdrValLT1, (1 > (valence ary)), ary cannot be is[Atm, Solitary] | +--+-----------+------------------------------------------------------------------------------------------+ | o|atm_atm02 |should be ?aryNoAdrValLT1, (1 > (valence ary)), ary cannot be is[Atm, Solitary] | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_null01 |should be ?aryItmGetIdxL01, item is not in aryTop (= null resFlt) | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_atm01 |should fail, (~= (EACH valence ary sub)), sub must be "up-dimensioned" (not yetfor test)| +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_atm02 |should fail, (~= (EACH valence ary sub)), sub must be "up-dimensioned" (not yetfor test)| +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lst01 |comment? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lst02 |comment? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lst03 |comment? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lst04 |comment? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lst05 |comment? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lst06 |comment? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lst07 |comments? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lst08 |comments? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lst09 |comments? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lst10 |should fail, (OR (EACHBOTH > (EACH (gage shape) sub ary))) | +--+-----------+------------------------------------------------------------------------------------------+ | o|lstL_lst01 |OK - note doesn"t find sub in subAry of ary, only at top level | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lstL01 |should be OK, fails because the ary is"t a list of strs? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lst_lstL02 |should be OK, fails because the ary is"t a list of strs? | +--+-----------+------------------------------------------------------------------------------------------+ | o|lstL_lstL01|the link produced a single list of numbers, with 3 fits | +--+-----------+------------------------------------------------------------------------------------------+ | o|ary_atm01 |should fail, (~= (EACH valence ary sub)), sub must be "up-dimensioned" (not yetfor test)| +--+-----------+------------------------------------------------------------------------------------------+ | o|ary_lst01 |should be OK, fails as sub spans across axis | +--+-----------+------------------------------------------------------------------------------------------+ | o|ary_lst02 |should fail with ?arySubComp1, but also sub fits into 2 rows of ary | +--+-----------+------------------------------------------------------------------------------------------+ | o|ary_ary01 |OK - interesting as sub spans inner part of ary | +--+-----------+------------------------------------------------------------------------------------------+