Shape

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand.

Return the shape tuple of an expression.

✓ checked against that system · ! checked, with disagreements (hover a chip)FindStatMp00077via SemistandardTableau Mp00079via SetPartition Mp00083via StandardTableauWolfram LanguageDimensions!

Shape(value) -> tuplereads a nested list's own structure when its elements' type carries no dimensions, as Wolfram's Dimensions does

Typed signatures

Type	Package	Applies
`(value) -> tuple`	`analytic`replaces `compute-engine`	always
`(value) -> tuple`	`compute-engine`	always
`(value) -> tuple`	`evaluation`replaces `compute-engine`	always

Domain: Compute engine

Examples

Scope #

Four nested levels, with length 2 innermost

\mathrm{Shape}(\bigl\lbrack\bigl\lbrack\bigl\lbrack\bigl\lbrack a, b\bigr\rbrack\bigr\rbrack\bigr\rbrack\bigr\rbrack)

Out

(1,1,1,2)

Properties #

A scalar has an empty shape

\mathrm{Shape}(1)

Out

()

A flat list has a one-entry shape, its length

\mathrm{Shape}(\bigl\lbrack1, 2\bigr\rbrack)

Out

(2,)

A one-row matrix has shape $(1, 2)$

\mathrm{Shape}(\bigl\lbrack\bigl\lbrack1, 2\bigr\rbrack\bigr\rbrack)

Out

(1,2)

The length of the shape is the tensor's rank

\mathrm{Length}(\mathrm{Shape}(\bigl\lbrack\bigl\lbrack a, b\bigr\rbrack, \bigl\lbrack c, d\bigr\rbrack\bigr\rbrack))=\mathrm{Rank}(\bigl\lbrack\bigl\lbrack a, b\bigr\rbrack, \bigl\lbrack c, d\bigr\rbrack\bigr\rbrack)

Out

\mathrm{True}

\mathrm{Shape}(\mathrm{Array}(a, \bigl\lbrack2, 1, 4, 3\bigr\rbrack))

Out

(2,1,4,3)

Possible issues #

\mathrm{Shape}(\sqrt{2})

Out

()

About

Examples	7
Checked against	Wolfram Language 6 agree1 differ
Crosswalk	FindStat ×3 Wolfram Language