login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A125586 2^(2n-1) - (n+2)*3^(n-2). 2
1, 4, 17, 74, 323, 1400, 6005, 25478, 107015, 445556, 1841273, 7561922, 30897227, 125714672, 509767421, 2061390206, 8317305359, 33498803948, 134727010049, 541232563130, 2172291241811, 8712410196584, 34922863258757, 139921580805494, 560408087592983 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,2

COMMENTS

Number of n X n nonsingular real matrices with entries {0,1} in which the top left n-1 X n-1 submatrix is the identity matrix. See A125587 for proof.

The number of singular matrices is given by A006234.

LINKS

Table of n, a(n) for n=1..25.

Index entries for linear recurrences with constant coefficients, signature (10,-33,36).

FORMULA

G.f.: -x*(10*x^2-6*x+1) / ((3*x-1)^2*(4*x-1)). - Colin Barker, Feb 26 2014

EXAMPLE

a(2) = 4:

10 10 11 11

01 11 01 10

MAPLE

A125586:=n->2^(2n-1)-(n+2)*3^(n-2); seq(A125586(n), n=1..30); # Wesley Ivan Hurt, Feb 26 2014

MATHEMATICA

Table[2^(2n-1)-(n+2)*3^(n-2), {n, 30}] (* Wesley Ivan Hurt, Feb 26 2014 *)

PROG

(PARI) Vec(-x*(10*x^2-6*x+1)/((3*x-1)^2*(4*x-1)) + O(x^100)) \\ Colin Barker, Feb 26 2014

CROSSREFS

Cf. A125587, A006234.

Sequence in context: A095940 A018902 A184700 * A086351 A049027 A026751

Adjacent sequences:  A125583 A125584 A125585 * A125587 A125588 A125589

KEYWORD

nonn,easy

AUTHOR

N. J. A. Sloane and Vinay Vaishampayan, Jan 05 2007

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified June 19 23:01 EDT 2019. Contains 324222 sequences. (Running on oeis4.)