ary_chk_slc_to_idxA_testSimple start time : 3Mar2024 16h11m54s +--+-------------+---------------------------------------------+------------+ |OK|test# |dat0 |dat1 | +--+-------------+---------------------------------------------+------------+ | o|null01_null | | | +--+-------------+---------------------------------------------+------------+ | o|null02_int | | 4| +--+-------------+---------------------------------------------+------------+ | o|chr01_null |g | | +--+-------------+---------------------------------------------+------------+ | o|chr02_atm |g |g | +--+-------------+---------------------------------------------+------------+ | o|str01_chr |the bigg fat cow | | +--+-------------+---------------------------------------------+------------+ | o|str06_slcNull|the bigg fat cow |[] | +--+-------------+---------------------------------------------+------------+ | o|str07_slcNull|the bigg fat cow |[ ] | +--+-------------+---------------------------------------------+------------+ | o|str12_slcInt |the bigg fat cow |[4] | +--+-------------+---------------------------------------------+------------+ | o|str13_slcInt |abcdefghij |[ 4] | +--+-------------+---------------------------------------------+------------+ | o|int01_int | 4| 4| +--+-------------+---------------------------------------------+------------+ | o|intL05_flt |0 1 2 3 4 5 6 7 8 9 |?faultTmp | +--+-------------+---------------------------------------------+------------+ | o|intL10_slcInt|0 1 2 3 4 5 6 7 8 9 |[6] | +--+-------------+---------------------------------------------+------------+ | o|intL11_slcInt|4 5 6 |[1] | +--+-------------+---------------------------------------------+------------+ | o|intLL15_slc |+-------------------+-------------------+-+-+| 1| | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4|5|| | | | |+-------------------+-------------------+-+-+| | +--+-------------+---------------------------------------------+------------+ | o|intLL16_slcL |+-------------------+-------------------+-+-+|+---+---+ | | | ||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|intA01_int | 0 1 2 3 4 | 2| | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-------------+---------------------------------------------+------------+ | o|intA05_intL | 0 1 2 3 4 |[ 2, 3] | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-------------+---------------------------------------------+------------+ | o|intA06_slc | 0 1 2 3 4 |[ 1, 3] | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-------------+---------------------------------------------+------------+ | o|intA07_slcL | 0 1 2 3 4 |+-------+ | | | | 5 6 7 8 9 ||[ 1, 3]| | | | |10 11 12 13 14 |+-------+ | | | |15 16 17 18 19 | | +--+-------------+---------------------------------------------+------------+ | o|intA12_slc | 0 1 2 3 4 |[ 1 3, 2 3] | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-------------+---------------------------------------------+------------+ | o|intA13_slcL | 0 1 2 3 4 |[ 2 3, 1 2] | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-------------+---------------------------------------------+------------+ | o|intA20_intA |0 1 2 3 |0 | | | |4 5 6 7 | | | | |8 9 10 11 | | +--+-------------+---------------------------------------------+------------+ | o|intA21_intA | 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 | | +--+-------------+---------------------------------------------+------------+ | o|intA26_slcA | 0 1 2 3 4 |[2 3, 3 4] | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-------------+---------------------------------------------+------------+ | o|intA27_slcA | 0 1 2 3 4 |[1 2, 1 2 3]| | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-------------+---------------------------------------------+------------+ +--+-------------+---------------------------------+----------------------------+ |OK|test# |std |calc | +--+-------------+---------------------------------+----------------------------+ | o|null01_null |?aryNoAdrIsNull ?slcAdrCompNull |?isAryIdxAblNul ?isSlcNull | +--+-------------+---------------------------------+----------------------------+ | o|null02_int |?aryNoAdrIsNull ?slcAdrCompNotStr|?isAryIdxAblNul ?isSlcNotStr| +--+-------------+---------------------------------+----------------------------+ | o|chr01_null |?aryNoAdrValLT1 ?slcAdrCompNull |?isAryIdxAblAtm ?isSlcNull | +--+-------------+---------------------------------+----------------------------+ | o|chr02_atm |?aryNoAdrValLT1 ?slcAdrCompNotStr|?isAryIdxAblAtm ?isSlcNotStr| +--+-------------+---------------------------------+----------------------------+ | o|str01_chr |?slcAdrCompNotStr |?isSlcNotStr | +--+-------------+---------------------------------+----------------------------+ | o|str06_slcNull|?slcAdrCompStrNull |?isSlcStrNull | +--+-------------+---------------------------------+----------------------------+ | o|str07_slcNull|?slcAdrCompStrNull |?isSlcStrNull | +--+-------------+---------------------------------+----------------------------+ | o|str12_slcInt |+-+ | | | | ||4| | | | | |+-+ | | +--+-------------+---------------------------------+----------------------------+ | o|str13_slcInt |+-+ | | | | ||4| | | | | |+-+ | | +--+-------------+---------------------------------+----------------------------+ | o|int01_int |?aryNoAdrValLT1 ?slcAdrCompNotStr|?isAryIdxAblAtm ?isSlcNotStr| +--+-------------+---------------------------------+----------------------------+ | o|intL05_flt |?slcAdrCompNotStr |?isSlcNotStr | +--+-------------+---------------------------------+----------------------------+ | o|intL10_slcInt|+-+ | | | | ||6| | | | | |+-+ | | +--+-------------+---------------------------------+----------------------------+ | o|intL11_slcInt|+-+ | | | | ||1| | | | | |+-+ | | +--+-------------+---------------------------------+----------------------------+ | o|intLL15_slc |?slcAdrCompNotStr |?isSlcNotStr | +--+-------------+---------------------------------+----------------------------+ | o|intLL16_slcL |?slcAdrCompNotStr |?isSlcNotStr | +--+-------------+---------------------------------+----------------------------+ | o|intA01_int |?slcAdrCompNotStr |?isSlcNotStr | +--+-------------+---------------------------------+----------------------------+ | o|intA05_intL |+---+ | | | | ||2 3| | | | | |+---+ | | +--+-------------+---------------------------------+----------------------------+ | o|intA06_slc |+---+ | | | | ||1 3| | | | | |+---+ | | +--+-------------+---------------------------------+----------------------------+ | o|intA07_slcL |?slcAdrCompNotStr |?isSlcNotStr | +--+-------------+---------------------------------+----------------------------+ | o|intA12_slc |+---+---+ | | | | ||1 2|1 3| | | | | |+---+---+ | | | | ||3 2|3 3| | | | | |+---+---+ | | +--+-------------+---------------------------------+----------------------------+ | o|intA13_slcL |+---+---+ | | | | ||2 1|2 2| | | | | |+---+---+ | | | | ||3 1|3 2| | | | | |+---+---+ | | +--+-------------+---------------------------------+----------------------------+ | o|intA20_intA |?slcAdrCompNotStr |?isSlcNotStr | +--+-------------+---------------------------------+----------------------------+ | o|intA21_intA |?slcAdrCompNotStr |?isSlcNotStr | +--+-------------+---------------------------------+----------------------------+ | o|intA26_slcA |+---+---+ | | | | ||2 3|2 4| | | | | |+---+---+ | | | | ||3 3|3 4| | | | | |+---+---+ | | +--+-------------+---------------------------------+----------------------------+ | o|intA27_slcA |+---+---+---+ | | | | ||1 1|1 2|1 3| | | | | |+---+---+---+ | | | | ||2 1|2 2|2 3| | | | | |+---+---+---+ | | +--+-------------+---------------------------------+----------------------------+ +--+-------------+-------------------------------------------------------------------------------------------- |OK|test# |comments +--+-------------+-------------------------------------------------------------------------------------------- | o|null01_null |should be ?aryNoAdrValLT1 - isNull ary, nulls don"t have positions!, ?slcAdrCompNull - (= +--+-------------+-------------------------------------------------------------------------------------------- | o|null02_int |should be ?aryNoAdrValLT1 - isNull ary, nulls don"t have positions!, ?slcAdrCompNotStr - (N +--+-------------+-------------------------------------------------------------------------------------------- | o|chr01_null |should be ?aryNoAdrValLT1 - isAtm ary, atoms don"t have positions!, ?slcAdrCompNull - (= n +--+-------------+-------------------------------------------------------------------------------------------- | o|chr02_atm |should be ?aryNoAdrValLT1 - isAtm ary, atoms don"t have positions!, ?slcAdrCompNotStr - (NOT +--+-------------+-------------------------------------------------------------------------------------------- | o|str01_chr |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+-------------+-------------------------------------------------------------------------------------------- | o|str06_slcNull|should be ?slcAdrCompStrNull - (= "[]" (link (` ary_itm_cut_subL slc))) +--+-------------+-------------------------------------------------------------------------------------------- | o|str07_slcNull|should be ?slcAdrCompStrNull - (= "[]" (link (` ary_itm_cut_subL slc))) +--+-------------+-------------------------------------------------------------------------------------------- | o|str12_slcInt |note [[4]], should be OK, no space before isAtm slc +--+-------------+-------------------------------------------------------------------------------------------- | o|str13_slcInt |note [[4]], should be OK, no space before isAtm slc +--+-------------+-------------------------------------------------------------------------------------------- | o|int01_int |should be ?aryNoAdrValLT1 - isAtm ary, atoms don"t have positions!, ?slcAdrCompNotStr - (NOT +--+-------------+-------------------------------------------------------------------------------------------- | o|intL05_flt |should be ?idxAdrCompFault - (isFault idx), faults aren"t addresses! +--+-------------+-------------------------------------------------------------------------------------------- | o|intL10_slcInt|note [[6]], should be OK, no space before isAtm slc +--+-------------+-------------------------------------------------------------------------------------------- | o|intL11_slcInt|note [[1]], should work OK, no space before isAtm slc +--+-------------+-------------------------------------------------------------------------------------------- | o|intLL15_slc |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+-------------+-------------------------------------------------------------------------------------------- | o|intLL16_slcL |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+-------------+-------------------------------------------------------------------------------------------- | o|intA01_int |should be ?slcAdrCompNotStr = not isString slc +--+-------------+-------------------------------------------------------------------------------------------- | o|intA05_intL |should work OK +--+-------------+-------------------------------------------------------------------------------------------- | o|intA06_slc |should work OK? +--+-------------+-------------------------------------------------------------------------------------------- | o|intA07_slcL |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+-------------+-------------------------------------------------------------------------------------------- | o|intA12_slc |should be OK, interesting case : non-sequential indices! +--+-------------+-------------------------------------------------------------------------------------------- | o|intA13_slcL |should be OK +--+-------------+-------------------------------------------------------------------------------------------- | o|intA20_intA |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+-------------+-------------------------------------------------------------------------------------------- | o|intA21_intA |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+-------------+-------------------------------------------------------------------------------------------- | o|intA26_slcA |should be OK +--+-------------+-------------------------------------------------------------------------------------------- | o|intA27_slcA |should be ?aryNoAdrValLT16 - (OR ((gage shape ary) EACHBOTH < maxIdxL) +--+-------------+-------------------------------------------------------------------------------------------- ~~...~~ ---------------------------------+ | ---------------------------------+ null slc), nulls aren"t slices!| ---------------------------------+ OT isSlcStr slc) | ---------------------------------+ ull slc), nulls aren"t slices! | ---------------------------------+ isSlcStr slc) | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ isSlcStr slc) | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ | ---------------------------------+ ~~...~~