|
|
(3 intermediate revisions by 2 users not shown) |
Line 4: |
Line 4: |
| *[[ Z%5E3_Language_Documentation | Z3 Language Documentation]] | | *[[ Z%5E3_Language_Documentation | Z3 Language Documentation]] |
| *[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | | *[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] |
| + | *[[ Z%5E3_Map_Reduce | Map Reduce]] |
| + | |
| | | |
| | | |
Line 49: |
Line 51: |
| | | |
| b=a.chunks(10) | | b=a.chunks(10) |
− | b.$$(SUM) | + | </br>b.$$(SUM) |
| | | |
| {| class="wikitable"|- | | {| class="wikitable"|- |
Line 74: |
Line 76: |
| | | |
| | | |
− | *[[ Z3 | << Z3 Home ]]
| |
− | *[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
| |
− |
| |
− | ==ARRAY FUNCTIONS==
| |
− | A listing of the Array functions are given below:
| |
− |
| |
− | Function name Parameter
| |
− | {|border="1" cellpadding="5" cellspacing="0"
| |
− | |-
| |
− | ! Function Name !! Parameters
| |
− | |-
| |
− | | [[Array.$()|$]] ||
| |
− | |-
| |
− | | [[Array.$$()|$$]] ||
| |
− | |-
| |
− | | [[Array.$$$()|$$$]] ||
| |
− | |-
| |
− | | [[Array.$$F()|$$F]] ||
| |
− | |-
| |
− | | [[Array.$A()|$A ]] || Parameter
| |
− | |-
| |
− | | [[Array.$C()|$C ]] ||
| |
− | |-
| |
− | | [[Array.$CELLS()|$CELLS ]] ||
| |
− | |-
| |
− | | [[Array.$d()|$d ]] ||
| |
− | |-
| |
− | | [[Array.$diag()|$diag ]] ||
| |
− | |-
| |
− | | [[Array.$dth()|$dth ]] ||
| |
− | |-
| |
− | | [[Array.$R()|$R ]] ||
| |
− | |-
| |
− | | [[Array.$X()|$X ]] ||
| |
− | |-
| |
− | | [[Array.$x()|$x ]] ||
| |
− | |-
| |
− | | [[Array.$_()|$_]] ||
| |
− | |-
| |
− | | [[Array.__$()|__$ ]] ||
| |
− | |-
| |
− | | [[Array.ac()|ac ]] ||
| |
− | |-
| |
− | | [[Array.accumulate()|accumulate ]] || Total
| |
− | |-
| |
− | | [[Array.accumulatewith()|accumulatewith ]] || "CumulateFunction,CurrentResult"
| |
− | |-
| |
− | | [[Array.across()|across ]] || "OtherArray, Function"
| |
− | |-
| |
− | | [[Array.add()|add ]] || Thing
| |
− | |-
| |
− | | [[Array.addcolumn()|addcolumn ]] || NumberOfColumns
| |
− | |-
| |
− | | [[Array.addrow()|addrow ]] || NumberOfRows
| |
− | |-
| |
− | | [[Array.addsequence()|addsequence ]] || "InFront,StartFrom,OptionalSequenceArray"
| |
− | |-
| |
− | | [[Array.adjoint()|adjoint ]] || Array
| |
− | |-
| |
− | | [[Array.aggregate()|aggregate ]] || "Columns,Function, Params"
| |
− | |-
| |
− | | [[Array.any()|any ]] || Count
| |
− | |-
| |
− | | [[Array.appendfunction()|appendfunction ]] || Function
| |
− | |-
| |
− | | [[Array.ar()|ar ]] ||
| |
− | |-
| |
− | | [[Array.async()|async ]] || "Iterator, CallBack"
| |
− | |-
| |
− | | [[Array.atindex()|atindex ]] ||
| |
− | |-
| |
− | | [[Array.atnode()|atnode ]] || "Function,SubtractByArray,ScaleByArray,DoNotShowIndices"
| |
− | |-
| |
− | | [[Array.backward()|backward ]] || "Function, StartValue"
| |
− | |-
| |
− | | [[Array.bindcolumn()|bindcolumn ]] ||
| |
− | |-
| |
− | | [[Array.branch()|branch ]] ||
| |
− | |-
| |
− | | [[Array.branchvalues()|branchvalues ]] ||
| |
− | |-
| |
− | | [[Array.c()|c ]] ||
| |
− | |-
| |
− | | [[Array.calci()|calci ]] ||
| |
− | |-
| |
− | | [[Array.car()|car ]] ||
| |
− | |-
| |
− | | [[Array.cartesianproduct()|cartesianproduct ]] || IsWithoutFlatten
| |
− | |-
| |
− | | [[Array.cdr()|cdr ]] ||
| |
− | |-
| |
− | | [[Array.cell()|cell ]] || "Row, Column, Width, Height"
| |
− | |-
| |
− | | [[Array.cells()|cells ]] ||
| |
− | |-
| |
− | | [[Array.checktype()|checktype ]] || "TypeArray,ForceCheckOnVariables"
| |
− | |-
| |
− | | [[Array.chunks()|chunks ]] || ChunkSize
| |
− | |-
| |
− | | [[Array.ci()|ci ]] ||
| |
− | |-
| |
− | | [[Array.clean()|clean ]] || "Expression, ReplaceWith"
| |
− | |-
| |
− | | [[Array.clear()|clear ]] || FillWith
| |
− | |-
| |
− | | [[Array.clearcopy()|clearcopy ]] || FillWith
| |
− | |-
| |
− | | [[Array.clearrepeats()|clearrepeats ]] ||
| |
− | |-
| |
− | | [[Array.clone()|clone ]] ||
| |
− | |-
| |
− | | [[Array.colconcat()|colconcat ]] ||
| |
− | |-
| |
− | | [[Array.colcount()|colcount ]] ||
| |
− | |-
| |
− | | [[Array.collect()|collect ]] ||
| |
− | |-
| |
− | | [[Array.collectasvector()|collectasvector ]] ||
| |
− | |-
| |
− | | [[Array.collectwhile()|collectwhile ]] ||
| |
− | |-
| |
− | | [[Array.collectwhileasvector()|collectwhileasvector ]] ||
| |
− | |-
| |
− | | [[Array.column()|column ]] ||
| |
− | |-
| |
− | | [[Array.columnconcat()|columnconcat ]] ||
| |
− | |-
| |
− | | [[Array.columns()|columns ]] ||
| |
− | |-
| |
− | | [[Array.compare()|compare ]] ||
| |
− | |-
| |
− | | [[Array.concatall()|concatall ]] || "LimitArray, IncludeEdges"
| |
− | |-
| |
− | | [[Array.converge()|converge ]] || "Function, NumberOfIterations, Accuracy, Converge"
| |
− | |-
| |
− | | [[Array.copy()|copy ]] ||
| |
− | |-
| |
− | | [[Array.core()|core ]] ||
| |
− | |-
| |
− | | [[Array.count()|count ]] || FirstLevelOnly
| |
− | |-
| |
− | | [[Array.crosstab()|crosstab ]] || "RowSet, ColSet,PageSet,DataSet"
| |
− | |-
| |
− | | [[Array.cube()|cube ]] ||
| |
− | |-
| |
− | | [[Array.cumcolumn()|cumcolumn ]] ||
| |
− | |-
| |
− | | [[Array.cumcolumns()|cumcolumns ]] ||
| |
− | |-
| |
− | | [[Array.cumcolumnswith()|cumcolumnswith ]] ||
| |
− | |-
| |
− | | [[Array.cumcolumnwith()|cumcolumnwith ]] ||
| |
− | |-
| |
− | | [[Array.cumrow()|cumrow ]] ||
| |
− | |-
| |
− | | [[Array.cumrows()|cumrows ]] ||
| |
− | |-
| |
− | | [[Array.cumrowswith()|cumrowswith ]] ||
| |
− | |-
| |
− | | [[Array.cumrowwith()|cumrowwith ]] ||
| |
− | |-
| |
− | | [[Array.cumulate()|cumulate ]] ||
| |
− | |-
| |
− | | [[Array.data()|data ]] ||
| |
− | |-
| |
− | | [[Array.dc()|dc ]] ||
| |
− | |-
| |
− | | [[Array.deal()|deal ]] || "Within, ManyInEach"
| |
− | |-
| |
− | | [[Array.deepcopy()|deepcopy ]] ||
| |
− | |-
| |
− | | [[Array.deletecolumn()|deletecolumn ]] || Where
| |
− | |-
| |
− | | [[Array.deleterow()|deleterow ]] || Where
| |
− | |-
| |
− | | [[Array.det()|det ]] || Array
| |
− | |-
| |
− | | [[Array.determinant()|determinant ]] ||
| |
− | |-
| |
− | | [[Array.dim()|dim ]] ||
| |
− | |-
| |
− | | [[Array.div()|div ]] ||
| |
− | |-
| |
− | | [[Array.divide()|divide ]] ||
| |
− | |-
| |
− | | [[Array.dr()|dr ]] ||
| |
− | |-
| |
− | | [[Array.drop()|drop ]] ||
| |
− | |-
| |
− | | [[Array.dropwhile()|dropwhile ]] ||
| |
− | |-
| |
− | | [[Array.dropwhileasvector()|dropwhileasvector ]] ||
| |
− | |-
| |
− | | [[Array.eighteenth()|eighteenth ]] ||
| |
− | |-
| |
− | | [[Array.eighth()|eighth ]] ||
| |
− | |-
| |
− | | [[Array.eleventh()|eleventh ]] ||
| |
− | |-
| |
− | | [[Array.equal()|equal ]] || "Array, CheckLength, StartFrom"
| |
− | |-
| |
− | | [[Array.equalvalues()|equalvalues ]] || "Array, CheckLength, StartFrom"
| |
− | |-
| |
− | | [[Array.eval()|eval ]] ||
| |
− | |-
| |
− | | [[Array.except()|except ]] ||
| |
− | |-
| |
− | | [[Array.exec()|exec ]] ||
| |
− | |-
| |
− | | [[Array.explode()|explode ]] || "StartIndex, By, RecurseTillLevel "
| |
− | |-
| |
− | | [[Array.extract()|extract ]] ||
| |
− | |-
| |
− | | [[Array.few()|few ]] ||
| |
− | |-
| |
− | | [[Array.fifteenth()|fifteenth ]] || Function
| |
− | |-
| |
− | | [[Array.fifth()|fifth ]] ||
| |
− | |-
| |
− | | [[Array.fillwith()|fillwith ]] ||
| |
− | |-
| |
− | | [[Array.filtermatches()|filtermatches ]] || "MatchIdenticalMatrix, OnlyMatches"
| |
− | |-
| |
− | | [[Array.filteroncolumn()|filteroncolumn ]] || "Condition, ExtractColumns, FilterOnColumn"
| |
− | |-
| |
− | | [[Array.filteroncondition()|filteroncondition ]] || "TakeDropOrAllFlag, Function, Parameter"
| |
− | |-
| |
− | | [[Array.filteronrow()|filteronrow ]] || "Condition, ExtractColumns, FilterOnColumn"
| |
− | |-
| |
− | | [[Array.findcellref()|findcellref ]] || Values
| |
− | |-
| |
− | | [[Array.first()|first ]] || Count
| |
− | |-
| |
− | | [[Array.firstelement()|firstelement ]] || Count
| |
− | |-
| |
− | | [[Array.firsthalf()|firsthalf ]] ||
| |
− | |-
| |
− | | [[Array.fixat()|fixat ]] || "Index,Fix"
| |
− | |-
| |
− | | [[Array.fjoin()|fjoin ]] || "HeadLength, JoinString"
| |
− | |-
| |
− | | [[Array.flatten()|flatten ]] ||
| |
− | |-
| |
− | | [[Array.flip()|flip ]] ||
| |
− | |-
| |
− | | [[Array.flipparts()|flipparts ]] ||
| |
− | |-
| |
− | | [[Array.fold()|fold ]] || "AtFoldValue, AtReverseFoldValue"
| |
− | |-
| |
− | | [[Array.foldl()|foldl ]] || "Function, StartSeed"
| |
− | |-
| |
− | | [[Array.foldr()|foldr ]] || "Function, StartSeed"
| |
− | |-
| |
− | | [[Array.forward()|forward ]] || "Function, StartValue"
| |
− | |-
| |
− | | [[Array.fourteenth()|fourteenth ]] ||
| |
− | |-
| |
− | | [[Array.fourth()|fourth ]] ||
| |
− | |-
| |
− | | [[Array.fourths()|fourths ]] ||
| |
− | |-
| |
− | | [[Array.funcjoin()|funcjoin ]] || "HeadLength, FindString, FirstString, MidString, LastString"
| |
− | |-
| |
− | | [[Array.gettype()|gettype ]] ||
| |
− | |-
| |
− | | [[Array.graph()|graph ]] || Mode
| |
− | |-
| |
− | | [[Array.graphin()|graphin ]] ||
| |
− | |-
| |
− | | [[Array.half()|half ]] ||
| |
− | |-
| |
− | | [[Array.halves()|halves ]] ||
| |
− | |-
| |
− | | [[Array.hderef()|hderef ]] || Array
| |
− | |-
| |
− | | [[Array.head()|head ]] ||
| |
− | |-
| |
− | | [[Array.headings()|headings ]] ||
| |
− | |-
| |
− | | [[Array.hindex()|hindex ]] ||
| |
− | |-
| |
− | | [[Array.hundredth()|hundredth ]] ||
| |
− | |-
| |
− | | [[Array.i()|i ]] || PreviousArray
| |
− | |-
| |
− | | [[Array.ic()|ic ]] ||
| |
− | |-
| |
− | | [[Array.ids()|ids ]] ||
| |
− | |-
| |
− | | [[Array.implode()|implode ]] || RecurseTillLevel
| |
− | |-
| |
− | | [[Array.inc()|inc ]] ||
| |
− | |-
| |
− | | [[Array.include()|include ]] ||
| |
− | |-
| |
− | | [[Array.indices()|indices ]] || "Function,SubtractByArray,ScaleByArray,DoNotShowIndices,RowArray"
| |
− | |-
| |
− | | [[Array.injoin()|injoin ]] || JoinWith
| |
− | |-
| |
− | | [[Array.insert()|insert ]] || "Value, AfterLastFlag"
| |
− | |-
| |
− | | [[Array.insertcolumn()|insertcolumn ]] || "Index, NumberOfColumns"
| |
− | |-
| |
− | | [[Array.insertrow()|insertrow ]] || "Index, NumberOfRows"
| |
− | |-
| |
− | | [[Array.inverse()|inverse ]] || Array
| |
− | |-
| |
− | | [[Array.ir()|ir ]] ||
| |
− | |-
| |
− | | [[Array.is()|is ]] || "Thing, IsNot"
| |
− | |-
| |
− | | [[Array.is1d()|is1d ]] ||
| |
− | |-
| |
− | | [[Array.is2d()|is2d ]] ||
| |
− | |-
| |
− | | [[Array.isFalse()|isFalse ]] ||
| |
− | |-
| |
− | | [[Array.islikelytype()|islikelytype ]] ||
| |
− | |-
| |
− | | [[Array.isnotnull()|isnotnull ]] ||
| |
− | |-
| |
− | | [[Array.isnull()|isnull ]] ||
| |
− | |-
| |
− | | [[Array.isTrue()|isTrue ]] ||
| |
− | |-
| |
− | | [[Array.istype()|istype ]] ||
| |
− | |-
| |
− | | [[Array.j()|j ]] ||
| |
− | |-
| |
− | | [[Array.joincolumnswith()|joincolumnswith ]] || "ArrayOfJoinCharacters,IsRepeat"
| |
− | |-
| |
− | | [[Array.joinrowswith()|joinrowswith ]] || "ArrayOfJoinCharacters,IsRepeat"
| |
− | |-
| |
− | | [[Array.joinwith()|joinwith ]] ||
| |
− | |-
| |
− | | [[Array.jq()|jq ]] ||
| |
− | |-
| |
− | | [[Array.keep()|keep ]] ||
| |
− | |-
| |
− | | [[Array.last()|last ]] || Count
| |
− | |-
| |
− | | [[Array.lastelement()|lastelement ]] || Count
| |
− | |-
| |
− | | [[Array.list()|list ]] ||
| |
− | |-
| |
− | | [[Array.lookup()|lookup ]] ||
| |
− | |-
| |
− | | [[Array.make()|make ]] ||
| |
− | |-
| |
− | | [[Array.make1to2d()|make1to2d ]] || ReplaceOriginal
| |
− | |-
| |
− | | [[Array.makecore()|makecore ]] ||
| |
− | |-
| |
− | | [[Array.makekeyarray()|makekeyarray ]] || Recursive
| |
− | |-
| |
− | | [[Array.maplist()|maplist ]] || fun
| |
− | |-
| |
− | | [[Array.mapper()|mapper ]] || Function
| |
− | |-
| |
− | | [[Array.maprow()|maprow ]] || Function
| |
− | |-
| |
− | | [[Array.mask()|mask ]] ||
| |
− | |-
| |
− | | [[Array.match()|match ]] || Expression
| |
− | |-
| |
− | | [[Array.matchcolumn()|matchcolumn ]] || "Expression, Column"
| |
− | |-
| |
− | | [[Array.matchindex()|matchindex ]] || "Expression, IndexThenFromMatch"
| |
− | |-
| |
− | | [[Array.matchrow()|matchrow ]] || "Expression, Row"
| |
− | |-
| |
− | | [[Array.matchvalue()|matchvalue ]] || "Expression, IndexThenFromMatch"
| |
− | |-
| |
− | | [[Array.merge()|merge ]] || "OtherArray, Function"
| |
− | |-
| |
− | | [[Array.mergecolumns()|mergecolumns ]] || OtherArray
| |
− | |-
| |
− | | [[Array.mergeio()|mergeio ]] ||
| |
− | |-
| |
− | | [[Array.mergerows()|mergerows ]] ||
| |
− | |-
| |
− | | [[Array.mid()|mid ]] || "From,Count"
| |
− | |-
| |
− | | [[Array.millionth()|millionth ]] ||
| |
− | |-
| |
− | | [[Array.multiply()|multiply ]] ||
| |
− | |-
| |
− | | [[Array.nicejoin()|nicejoin ]] || "JoinString, EndString, SubArrayString"
| |
− | |-
| |
− | | [[Array.nineteenth()|nineteenth ]] ||
| |
− | |-
| |
− | | [[Array.nineth()|nineth ]] ||
| |
− | |-
| |
− | | [[Array.nodeindex()|nodeindex ]] ||
| |
− | |-
| |
− | | [[Array.notinclude()|notinclude ]] || Item
| |
− | |-
| |
− | | [[Array.notwithinlimits()|notwithinlimits ]] || "LimitArray, IncludeEdges"
| |
− | |-
| |
− | | [[Array.nth()|nth ]] || "Nth, Count"
| |
− | |-
| |
− | | [[Array.ntimes()|ntimes ]] || "Function, NumberOfIterations, Accuracy, Converge"
| |
− | |-
| |
− | | [[Array.nullifyobjects()|nullifyobjects ]] || Recursive
| |
− | |-
| |
− | | [[Array.numbers()|numbers ]] || ForceCheckOnVariables
| |
− | |-
| |
− | | [[Array.o()|o ]] ||
| |
− | |-
| |
− | | [[Array.objects()|objects ]] ||
| |
− | |-
| |
− | | [[Array.of()|of ]] ||
| |
− | |-
| |
− | | [[Array.otherthan()|otherthan ]] || ArrayWithElementsToExclude
| |
− | |-
| |
− | | [[Array.pack()|pack ]] ||
| |
− | |-
| |
− | | [[Array.pad()|pad ]] || "Length, PadString"
| |
− | |-
| |
− | | [[Array.pair()|pair ]] || "Value, OnRight"
| |
− | |-
| |
− | | [[Array.pairmatch()|pairmatch ]] || "AtFoldValue, AtReverseFoldValue, StartFrom"
| |
− | |-
| |
− | | [[Array.partitiononcondition()|partitiononcondition ]] || "TakeDropOrAllFlag, Function, Parameter"
| |
− | |-
| |
− | | [[Array.parts()|parts ]] || "NumberOfParts, SpecificPart"
| |
− | |-
| |
− | | [[Array.pastefolds()|pastefolds ]] || MidOnly
| |
− | |-
| |
− | | [[Array.pick()|pick ]] || "StyleString, JoinString"
| |
− | |-
| |
− | | [[Array.pieces()|pieces ]] || " Width, Function"
| |
− | |-
| |
− | | [[Array.pip()|pip ]] ||
| |
− | |-
| |
− | | [[Array.pipall()|pipall ]] ||
| |
− | |-
| |
− | | [[Array.pipallwithslice()|pipallwithslice ]] ||
| |
− | |-
| |
− | | [[Array.plot()|plot ]] ||
| |
− | |-
| |
− | | [[Array.prefix()|prefix ]] ||
| |
− | |-
| |
− | | [[Array.primitives()|primitives ]] ||
| |
− | |-
| |
− | | [[Array.print()|print ]] ||
| |
− | |-
| |
− | | [[Array.printf()|printf ]] ||
| |
− | |-
| |
− | | [[Array.r()|r ]] ||
| |
− | |-
| |
− | | [[Array.rand()|rand ]] ||
| |
− | |-
| |
− | | [[Array.random()|random ]] || "Base,Numbers"
| |
− | |-
| |
− | | [[Array.remove()|remove ]] ||
| |
− | |-
| |
− | | [[Array.removeByVal()|removeByVal ]] || Value
| |
− | |-
| |
− | | [[Array.removeindices()|removeindices ]] ||
| |
− | |-
| |
− | | [[Array.removewith()|removewith ]] ||
| |
− | |-
| |
− | | [[Array.repeatntimes()|repeatntimes ]] || "Function, NumberOfIterations, Accuracy, Converge"
| |
− | |-
| |
− | | [[Array.replace()|replace ]] || "ExpressionArrayOrValues, ReplaceWith"
| |
− | |-
| |
− | | [[Array.replicate()|replicate ]] || Count
| |
− | |-
| |
− | | [[Array.rest()|rest ]] || "Start, Count"
| |
− | |-
| |
− | | [[Array.result()|result ]] ||
| |
− | |-
| |
− | | [[Array.reverselevel()|reverselevel ]] || Level
| |
− | |-
| |
− | | [[Array.reversepip()|reversepip ]] ||
| |
− | |-
| |
− | | [[Array.reversesort()|reversesort ]] || Function
| |
− | |-
| |
− | | [[Array.ri()|ri ]] ||
| |
− | |-
| |
− | | [[Array.rotate()|rotate ]] || NumberOfSteps
| |
− | |-
| |
− | | [[Array.rotatecolumns()|rotatecolumns ]] || NumberOfSteps
| |
− | |-
| |
− | | [[Array.rotaterows()|rotaterows ]] || NumberOfSteps
| |
− | |-
| |
− | | [[Array.row()|row ]] ||
| |
− | |-
| |
− | | [[Array.rowconcat()|rowconcat ]] || OtherArray
| |
− | |-
| |
− | | [[Array.rowcount()|rowcount ]] ||
| |
− | |-
| |
− | | [[Array.rowlengths()|rowlengths ]] || Function
| |
− | |-
| |
− | | [[Array.rowpush()|rowpush ]] || OtherArray
| |
− | |-
| |
− | | [[Array.rows()|rows ]] ||
| |
− | |-
| |
− | | [[Array.rslice()|rslice ]] ||
| |
− | |-
| |
− | | [[Array.second()|second ]] ||
| |
− | |-
| |
− | | [[Array.secondhalf()|secondhalf ]] ||
| |
− | |-
| |
− | | [[Array.seq()|seq ]] || "StartIndex, By"
| |
− | |-
| |
− | | [[Array.set()|set ]] ||
| |
− | |-
| |
− | | [[Array.setaxis()|setaxis ]] || "Axis, ColumnValues"
| |
− | |-
| |
− | | [[Array.setcolumn()|setcolumn ]] || "Column, ColumnValues"
| |
− | |-
| |
− | | [[Array.setHeadings()|setHeadings ]] ||
| |
− | |-
| |
− | | [[Array.setrow()|setrow ]] || "Row, Array"
| |
− | |-
| |
− | | [[Array.setunit()|setunit ]] ||
| |
− | |-
| |
− | | [[Array.seventeenth()|seventeenth ]] ||
| |
− | |-
| |
− | | [[Array.seventh()|seventh ]] ||
| |
− | |-
| |
− | | [[Array.shiftlevel()|shiftlevel ]] || "Level, NumberOfTimes"
| |
− | |-
| |
− | | [[Array.shuffle()|shuffle ]] ||
| |
− | |-
| |
− | | [[Array.sixteenth()|sixteenth ]] ||
| |
− | |-
| |
− | | [[Array.sixth()|sixth ]] ||
| |
− | |-
| |
− | | [[Array.size()|size ]] ||
| |
− | |-
| |
− | | [[Array.size2d()|size2d ]] ||
| |
− | |-
| |
− | | [[Array.slices()|slices ]] || SliceExpression
| |
− | |-
| |
− | | [[Array.slides()|slides ]] ||
| |
− | |-
| |
− | | [[Array.sortrecursively()|sortrecursively ]] ||
| |
− | |-
| |
− | | [[Array.sortwith()|sortwith ]] ||
| |
− | |-
| |
− | | [[Array.specialprint()|specialprint ]] || "Trimmed,TabLevel"
| |
− | |-
| |
− | | [[Array.spliteach()|spliteach ]] || "SplitExpression, RetainSplitterAlsoInResult"
| |
− | |-
| |
− | | [[Array.splitwhile()|splitwhile ]] ||
| |
− | |-
| |
− | | [[Array.splitwhileasvector()|splitwhileasvector ]] ||
| |
− | |-
| |
− | | [[Array.stringlist()|stringlist ]] ||
| |
− | |-
| |
− | | [[Array.subtract()|subtract ]] ||
| |
− | |-
| |
− | | [[Array.suchthat()|suchthat ]] ||
| |
− | |-
| |
− | | [[Array.suchthatasvector()|suchthatasvector ]] ||
| |
− | |-
| |
− | | [[Array.suffix()|suffix ]] ||
| |
− | |-
| |
− | | [[Array.t()|t ]] ||
| |
− | |-
| |
− | | [[Array.table()|table ]] ||
| |
− | |-
| |
− | | [[Array.tablelookup()|tablelookup ]] || "RowValueMatch, ColumnValueMatch"
| |
− | |-
| |
− | | [[Array.tail()|tail ]] ||
| |
− | |-
| |
− | | [[Array.takewhile()|takewhile ]] ||
| |
− | |-
| |
− | | [[Array.takewhileasvector()|takewhileasvector ]] ||
| |
− | |-
| |
− | | [[Array.tenth()|tenth ]] ||
| |
− | |-
| |
− | | [[Array.third()|third ]] ||
| |
− | |-
| |
− | | [[Array.thirds()|thirds ]] ||
| |
− | |-
| |
− | | [[Array.thirteenth()|thirteenth ]] ||
| |
− | |-
| |
− | | [[Array.thousandth()|thousandth ]] ||
| |
− | |-
| |
− | | [[Array.tofunctions()|tofunctions ]] ||
| |
− | |-
| |
− | | [[Array.toobjectformat()|toobjectformat ]] ||
| |
− | |-
| |
− | | [[Array.totree()|totree ]] ||
| |
− | |-
| |
− | | [[Array.transpose()|transpose ]] || IncludeHeader
| |
− | |-
| |
− | | [[Array.truefalse()|truefalse ]] || "IsCheckTrueFunctionList,IsCheckFalseFunctionList,DoFlattenFirst"
| |
− | |-
| |
− | | [[Array.twelfth()|twelfth ]] ||
| |
− | |-
| |
− | | [[Array.twentieth()|twentieth ]] ||
| |
− | |-
| |
− | | [[Array.twod()|twod ]] ||
| |
− | |-
| |
− | | [[Array.type()|type ]] ||
| |
− | |-
| |
− | | [[Array.uncrosstab()|uncrosstab ]] || UptoColumn
| |
− | |-
| |
− | | [[Array.unimplode()|unimplode ]] || RecurseTillLevel
| |
− | |-
| |
− | | [[Array.unimplodeleaf()|unimplodeleaf ]] ||
| |
− | |-
| |
− | | [[Array.unitsof()|unitsof ]] ||
| |
− | |-
| |
− | | [[Array.unwrapleaf()|unwrapleaf ]] ||
| |
− | |-
| |
− | | [[Array.unzip()|unzip ]] ||
| |
− | |-
| |
− | | [[Array.value()|value ]] || Function
| |
− | |-
| |
− | | [[Array.where()|where ]] || Term
| |
− | |-
| |
− | | [[Array.withinlimits()|withinlimits ]] || "LimitArray, IncludeEdges"
| |
− | |-
| |
− | | [[Array.withouttail()|withouttail ]] ||
| |
− | |-
| |
− | | [[Array.X$()|X$ ]] ||
| |
− | |-
| |
− | | [[Array.x$()|x$ ]] || "FunctionArray, OffsetArray, ScaleArray, GiveIndicesAlso,DoCentering"
| |
− | |-
| |
− | | [[Array.xy()|xy ]] ||
| |
− | |-
| |
− | | [[Array.xypanel()|xypanel ]] || "FunctionArray, OffsetArray, ScaleArray, GiveIndicesAlso"
| |
− | |-
| |
− | | [[Array.z3()|z3 ]] ||
| |
− | |-
| |
− | | [[Array.zero()|zero ]] || "ValueInstead, PreserveStructure"
| |
− | |-
| |
− | | [[Array.zip()|zip ]] || OtherArray
| |
− | |-
| |
− | | [[Array.ZJSON()|ZJSON ]] ||
| |
− | |-
| |
− | | [[Array.zoompip()|zoompip ]] ||
| |
− | |-
| |
− | |㪭㭲 ||
| |
| | | |
− | |}
| |
| | | |
| | | |
| + | *[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] |
| *[[ Z%5E3_Language_Documentation | Z3 Language Documentation]] | | *[[ Z%5E3_Language_Documentation | Z3 Language Documentation]] |
| *[[ Z3 | << Z3 Home ]] | | *[[ Z3 | << Z3 Home ]] |