LinearAlgebra[Modular] - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Linear Algebra : LinearAlgebra Package : Modular Subpackage : LinearAlgebra/Modular/Permute

LinearAlgebra[Modular]

  

Permute

  

apply compact permutation to a mod m Matrix or Vector

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Permute(m, pvec, A, rowflag, invflag)

Parameters

m

-

modulus

pvec

-

permutation vector

A

-

mod m Matrix or Vector

rowflag

-

boolean; indicate a row permutation (false for column)

invflag

-

boolean; indicate whether inverse permutation is applied

Description

• 

The Permute function applies the compact permutation stored in pvec to the mod m Matrix or Vector A in-place.

• 

The pvec parameter must be a Vector of type integer[4]/integer[8], integer, or anything, and must have integer entries in the range 1..r, where r is the number of elements being permuted.

• 

If rowflag is true, the permutation is applied to the rows of A.  If the number of elements in pvec is larger than the number of rows of A, then only the first rowsA components of pvec are applied.

  

If rowflag is false, the permutation is applied to the columns of A. If the number of elements in pvec is larger than the number of columns of A, then only the first colsA components of pvec are applied.

• 

If the invflag parameter is true, it indicates that the inverse of the permutation is to be applied.  If invflag is false, it indicates that the permutation itself is to be applied.

• 

As mentioned before, the permutation must be stored in a compact form in pvec. This vector can be interpreted as an ordered list of instructions on how to apply a permutation, where the first entry describes the row exchange required for the first row, the second describes the row exchange required for the second row, etcetera.

  

For example, if, for a 4x4 Matrix, the permutation Vector is given by [1, 4, 4], then this corresponds to the following exchanges in the given order: 1<=>1, 2<=>4, 3<=>4.

  

Unlike a permutation Matrix, this format does not result in a unique representation for a permutation. For example, for a 4x4 Matrix, the identity permutation is given by [], [1], [2,1], [1,2,3], [3,2,1], [2,1,3], etcetera. Use of this format makes application of the permutation (or its inverse) to a Matrix or Vector quite simple. If the permutation Matrix is required, it can be obtained through application of the Permute function on an identity Matrix.

• 

This function is most often used in combination with LUDecomposition and RowEchelonTransform, and is used in LUApply.

• 

This command is part of the LinearAlgebra[Modular] package, so it can be used in the form Permute(..) only after executing the command with(LinearAlgebra[Modular]).  However, it can always be used in the form LinearAlgebra[Modular][Permute](..).

Examples

An application of a row permutation and inverse to a Matrix.

withLinearAlgebra&lsqb;Modular&rsqb;&colon;

p97

p:=97

(1)

AModp&comma;Matrix5&comma;5&comma;i&comma;j&rarr;rand&comma;integer&lsqb;&rsqb;

A:=779610865836802244396039431255224714529214873357

(2)

A2Copyp&comma;A&colon;

PVector&lsqb;row&rsqb;5&comma;4&comma;3&comma;5

P:=5435

(3)

Permutep&comma;P&comma;A2&comma;true&comma;false&colon;

A2

214873357224714529603943125577961086583680224439

(4)

Permutep&comma;P&comma;A2&comma;true&comma;true&colon;

A2&comma;A

779610865836802244396039431255224714529214873357&comma;779610865836802244396039431255224714529214873357

(5)

An application of column permutation to a row vector.

BModp&comma;Vector&lsqb;row&rsqb;5&comma;i&rarr;rand&comma;float&lsqb;8&rsqb;

B:=65.16.93.96.71.

(6)

Permutep&comma;P&comma;B&comma;false&comma;false&colon;

B

71.96.93.65.16.

(7)

Permutep&comma;P&comma;B&comma;false&comma;true&colon;

B

65.16.93.96.71.

(8)

See Also

LinearAlgebra/Details

LinearAlgebra[Modular]

LinearAlgebra[Modular][Copy]

LinearAlgebra[Modular][LUApply]

LinearAlgebra[Modular][LUDecomposition]

LinearAlgebra[Modular][Mod]

LinearAlgebra[Modular][RowEchelonTransform]

Vector

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam