ary_chk_idx_get_itm_testSimple start time : 11Dec2022 10h52m15s +--+-----------+---------------------------------------------------------------------------------------------- |OK|test# |dat0 +--+-----------+---------------------------------------------------------------------------------------------- | o|null_null01| +--+-----------+---------------------------------------------------------------------------------------------- | l|atm_null01 | +--+-----------+---------------------------------------------------------------------------------------------- | l|lst_null01 |the bigg fat cow +--+-----------+---------------------------------------------------------------------------------------------- | o|null_atm01 | +--+-----------+---------------------------------------------------------------------------------------------- | o|atm_atm01 |g +--+-----------+---------------------------------------------------------------------------------------------- | o|atm_atm02 | +--+-----------+---------------------------------------------------------------------------------------------- | l|null_lst01 |the bigg fat cow +--+-----------+---------------------------------------------------------------------------------------------- | o|atm_lst01 |the bigg fat cow +--+-----------+---------------------------------------------------------------------------------------------- | o|atm_lst02 |0 1 2 3 4 5 6 7 8 9 +--+-----------+---------------------------------------------------------------------------------------------- | o|idx_lst01 |the bigg fat cow +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_lst02 |the bigg fat cow +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_lstL01 |+-------------------+-------------------+-+-+ | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4|5| | | |+-------------------+-------------------+-+-+ +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_lstL02 |+-------------------+-------------------+-+-+ | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4|5| | | |+-------------------+-------------------+-+-+ +--+-----------+---------------------------------------------------------------------------------------------- | o|idx_lstL03 |+-------------------+-------------------+-+-+ | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4|5| | | |+-------------------+-------------------+-+-+ +--+-----------+---------------------------------------------------------------------------------------------- | l|idxL_lst01 |[#=; backtrack ;=#]Howell - Mega-Life, Mega-Death and the Sun, the rise and fall of civilisati +--+-----------+---------------------------------------------------------------------------------------------- | l|idxL_lst03 |0 1 2 3 4 5 6 7 8 9 | | | | | | +--+-----------+---------------------------------------------------------------------------------------------- | l|idxL_lstL01|4 5 +--+-----------+---------------------------------------------------------------------------------------------- | o|atm_ary01 | 0 1 2 3 4 | | | 5 6 7 8 9 | | |10 11 12 13 14 | | |15 16 17 18 19 +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_ary01 | 0 1 2 3 4 | | | 5 6 7 8 9 | | |10 11 12 13 14 | | |15 16 17 18 19 +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_ary02 | 0 1 2 3 4 | | | 5 6 7 8 9 | | |10 11 12 13 14 | | |15 16 17 18 19 +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_ary03 |0 1 2 3 12 13 14 15 | | |4 5 6 7 16 17 18 19 | | |8 9 10 11 20 21 22 23 +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_ary04 |0 1 2 3 12 13 14 15 | | |4 5 6 7 16 17 18 19 | | |8 9 10 11 20 21 22 23 +--+-----------+---------------------------------------------------------------------------------------------- ~~...~~ -------+-------------------------------------------+ |dat1 | -------+-------------------------------------------+ | | -------+-------------------------------------------+ 4| | -------+-------------------------------------------+ | | -------+-------------------------------------------+ |g | -------+-------------------------------------------+ |g | -------+-------------------------------------------+ 4| 4| -------+-------------------------------------------+ | | -------+-------------------------------------------+ | | -------+-------------------------------------------+ | l| -------+-------------------------------------------+ | 5| -------+-------------------------------------------+ |5 | -------+-------------------------------------------+ |4 5 | | | | | -------+-------------------------------------------+ |1 | | | | | -------+-------------------------------------------+ | 1| | | | | -------+-------------------------------------------+ ons.pdf|3 35 | -------+-------------------------------------------+ |+-+-+ | ||4|5| | |+-+-+ | -------+-------------------------------------------+ |0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 4 5| -------+-------------------------------------------+ |c | | | | | | | -------+-------------------------------------------+ |3 4 | | | | | | | -------+-------------------------------------------+ |4 5 | | | | | | | -------+-------------------------------------------+ |1 2 3 | | | | | -------+-------------------------------------------+ |1 4 5 | | | | | -------+-------------------------------------------+ ~~...~~ +--+-----------+--------------------------------+--------------------------+ |OK|test# |std |calc | +--+-----------+--------------------------------+--------------------------+ | o|null_null01|?aryNoAdrValLT1 ?idxNull |?aryNoAdrIsNull ?idxNull | +--+-----------+--------------------------------+--------------------------+ | l|atm_null01 |?aryNoAdrValLT1 ?idxNull |?aryNoAdrValLT1 ?idxNull | +--+-----------+--------------------------------+--------------------------+ | l|lst_null01 |?idxNull |?idxNull | +--+-----------+--------------------------------+--------------------------+ | o|null_atm01 |?aryNoAdrValLT1 ?idxAdrCompSingl|?aryNoAdrIsNull ?idxValLT1| +--+-----------+--------------------------------+--------------------------+ | o|atm_atm01 |?aryNoAdrValLT1 ?idxAdrCompSingl|?aryNoAdrValLT1 ?idxValLT1| +--+-----------+--------------------------------+--------------------------+ | o|atm_atm02 |?aryNoAdrValLT1 |?aryNoAdrValLT1 ?idxValLT1| +--+-----------+--------------------------------+--------------------------+ | l|null_lst01 |?idxNull |?idxNull | +--+-----------+--------------------------------+--------------------------+ | o|atm_lst01 |?idxAdrCompSingl |?idxValLT1 | +--+-----------+--------------------------------+--------------------------+ | o|atm_lst02 |?idxAdrCompSingl |?idxValLT1 | +--+-----------+--------------------------------+--------------------------+ | o|idx_lst01 |i |?idxValLT1 | +--+-----------+--------------------------------+--------------------------+ | l|idx_lst02 |i |i | +--+-----------+--------------------------------+--------------------------+ | l|idx_lstL01 |?aryIdxVlc |?aryIdxVlc | +--+-----------+--------------------------------+--------------------------+ | l|idx_lstL02 |0 1 2 3 4 5 6 7 8 9 |0 1 2 3 4 5 6 7 8 9 | +--+-----------+--------------------------------+--------------------------+ | o|idx_lstL03 |0 1 2 3 4 5 6 7 8 9 |?idxValLT1 | +--+-----------+--------------------------------+--------------------------+ | l|idxL_lst01 |?aryIdxVlc |?aryIdxVlc | +--+-----------+--------------------------------+--------------------------+ | l|idxL_lst03 |?idxNotIntL |?idxNotIntL | +--+-----------+--------------------------------+--------------------------+ | l|idxL_lstL01|?aryIdxVlc |?aryIdxVlc | +--+-----------+--------------------------------+--------------------------+ | o|atm_ary01 |?idxAdrCompSingl |?idxValLT1 | +--+-----------+--------------------------------+--------------------------+ | l|idx_ary01 | 19| 19| +--+-----------+--------------------------------+--------------------------+ | l|idx_ary02 |?aryIdxTooBig |?aryIdxTooBig | +--+-----------+--------------------------------+--------------------------+ | l|idx_ary03 | 23| 23| +--+-----------+--------------------------------+--------------------------+ | l|idx_ary04 |?aryIdxTooBig |?aryIdxTooBig | +--+-----------+--------------------------------+--------------------------+ +--+-----------+---------------------------------------------------------------------------------------------- |OK|test# |comments +--+-----------+---------------------------------------------------------------------------------------------- | o|null_null01|should be ?aryNoAdrValLT1 - isNull ary, nulls don"t have positions!, ?idxNull - (= null id +--+-----------+---------------------------------------------------------------------------------------------- | l|atm_null01 |should be ?aryNoAdrValLT1 - isAtm ary, atoms don"t have positions!, ?idxNull - (= null id +--+-----------+---------------------------------------------------------------------------------------------- | l|lst_null01 |should be ?idxNull - (= null idx), nulls aren"t addresses! +--+-----------+---------------------------------------------------------------------------------------------- | o|null_atm01 |why not ?idxAdrCompSolty?, ?should be ?aryNoAdrValLT1 - isNull ary, nulls don"t have position +--+-----------+---------------------------------------------------------------------------------------------- | o|atm_atm01 |why not ?idxAdrCompSolty?, ?should be ?aryNoAdrValLT1 - isAtm ary, atoms don"t have position +--+-----------+---------------------------------------------------------------------------------------------- | o|atm_atm02 |should be ?aryNoAdrValLT1 - isAtm ary, atoms don"t have positions! +--+-----------+---------------------------------------------------------------------------------------------- | l|null_lst01 |should be ?idxNull - (= null idx), nulls aren"t addresses! +--+-----------+---------------------------------------------------------------------------------------------- | o|atm_lst01 |why not ?idxAdrCompSolty?, ?should be ?idxAdrCompSingl - (isSingle idx), non-int singles aren" +--+-----------+---------------------------------------------------------------------------------------------- | o|atm_lst02 |why not ?idxAdrCompSolty?, ?should be ?idxAdrCompSingl - (isSingle idx), non-int singles aren" +--+-----------+---------------------------------------------------------------------------------------------- | o|idx_lst01 |should work but doesn"t? +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_lst02 |should be OK +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_lstL01 |should be ?aryIdxVlc, (~= aryVlc idxShp) +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_lstL02 |should be OK +--+-----------+---------------------------------------------------------------------------------------------- | o|idx_lstL03 |should work +--+-----------+---------------------------------------------------------------------------------------------- | l|idxL_lst01 |should be ?aryIdxVlc (~= aryVlc idxShp) +--+-----------+---------------------------------------------------------------------------------------------- | l|idxL_lst03 |should be ?idxNotIntL - (NAND EACH isInteger idx), non-ints aren"t addresses! +--+-----------+---------------------------------------------------------------------------------------------- | l|idxL_lstL01|should be ?aryIdxVlc, (~= aryVlc idxShp) +--+-----------+---------------------------------------------------------------------------------------------- | o|atm_ary01 |why not ?idxAdrCompSolty?, ?should be ?idxAdrCompSingl - (isSingle idx), non-int singles aren" +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_ary01 |should work +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_ary02 |should be ?aryIdxTooBig, (OR (aryShp EACHBOTH < idxShp)) +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_ary03 |should work +--+-----------+---------------------------------------------------------------------------------------------- | l|idx_ary04 |should be ?aryIdxTooBig, (OR (aryShp EACHBOTH < idxShp)) +--+-----------+---------------------------------------------------------------------------------------------- ~~...~~ ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ x), nulls aren"t addresses! | ------------------------------------------------------------------------+ x), nulls aren"t addresses! | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ s!, ?idxAdrCompSingl - (isSingle idx), non-int singles aren"t addresses!| ------------------------------------------------------------------------+ s!, ?idxAdrCompSingl - (isSingle idx), non-int singles aren"t addresses!| ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ t addresses! | ------------------------------------------------------------------------+ t addresses! | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ t addresses! | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ | ------------------------------------------------------------------------+ ~~...~~