Loading...
Searching...
No Matches
rotations.h
Go to the documentation of this file.
/*************************************************************************
Copyright (c) 1992-2007 The University of Tennessee. All rights reserved.
Contributors:
* Sergey Bochkanov (ALGLIB project). Translation from FORTRAN to
pseudocode.
See subroutines comments for additional copyrights.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are
met:
- Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
- Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer listed
in this license in the documentation and/or other materials
provided with the distribution.
- Neither the name of the copyright holders nor the names of its
contributors may be used to endorse or promote products derived from
this software without specific prior written permission.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*************************************************************************/
#ifndef _rotations_h
#define _rotations_h
#include "ap.h"
#include "amp.h"
namespace rotations
{
template<unsigned int Precision>
void applyrotationsfromtheleft(bool isforward,
int m1,
int m2,
int n1,
int n2,
const ap::template_1d_array< amp::ampf<Precision> >& c,
const ap::template_1d_array< amp::ampf<Precision> >& s,
ap::template_2d_array< amp::ampf<Precision> >& a,
ap::template_1d_array< amp::ampf<Precision> >& work);
template<unsigned int Precision>
void applyrotationsfromtheright(bool isforward,
int m1,
int m2,
int n1,
int n2,
const ap::template_1d_array< amp::ampf<Precision> >& c,
const ap::template_1d_array< amp::ampf<Precision> >& s,
ap::template_2d_array< amp::ampf<Precision> >& a,
ap::template_1d_array< amp::ampf<Precision> >& work);
template<unsigned int Precision>
void generaterotation(amp::ampf<Precision> f,
amp::ampf<Precision> g,
amp::ampf<Precision>& cs,
amp::ampf<Precision>& sn,
amp::ampf<Precision>& r);
/*************************************************************************
Application of a sequence of elementary rotations to a matrix
The algorithm pre-multiplies the matrix by a sequence of rotation
transformations which is given by arrays C and S. Depending on the value
of the IsForward parameter either 1 and 2, 3 and 4 and so on (if IsForward=true)
rows are rotated, or the rows N and N-1, N-2 and N-3 and so on, are rotated.
Not the whole matrix but only a part of it is transformed (rows from M1 to
M2, columns from N1 to N2). Only the elements of this submatrix are changed.
Input parameters:
IsForward - the sequence of the rotation application.
M1,M2 - the range of rows to be transformed.
N1, N2 - the range of columns to be transformed.
C,S - transformation coefficients.
Array whose index ranges within [1..M2-M1].
A - processed matrix.
WORK - working array whose index ranges within [N1..N2].
Output parameters:
A - transformed matrix.
Utility subroutine.
*************************************************************************/
template<unsigned int Precision>
void applyrotationsfromtheleft(bool isforward,
int m1,
int m2,
int n1,
int n2,
const ap::template_1d_array< amp::ampf<Precision> >& c,
const ap::template_1d_array< amp::ampf<Precision> >& s,
ap::template_2d_array< amp::ampf<Precision> >& a,
ap::template_1d_array< amp::ampf<Precision> >& work)
{
int j;
int jp1;
amp::ampf<Precision> ctemp;
amp::ampf<Precision> stemp;
amp::ampf<Precision> temp;
if( m1>m2 || n1>n2 )
{
return;
}
//
// Form P * A
//
if( isforward )
{
if( n1!=n2 )
{
//
// Common case: N1<>N2
//
for(j=m1; j<=m2-1; j++)
{
ctemp = c(j-m1+1);
stemp = s(j-m1+1);
if( ctemp!=1 || stemp!=0 )
{
jp1 = j+1;
ap::vmove(work.getvector(n1, n2), a.getrow(jp1, n1, n2), ctemp);
ap::vsub(work.getvector(n1, n2), a.getrow(j, n1, n2), stemp);
ap::vmul(a.getrow(j, n1, n2), ctemp);
ap::vadd(a.getrow(j, n1, n2), a.getrow(jp1, n1, n2), stemp);
ap::vmove(a.getrow(jp1, n1, n2), work.getvector(n1, n2));
}
}
}
else
{
//
// Special case: N1=N2
//
for(j=m1; j<=m2-1; j++)
{
ctemp = c(j-m1+1);
stemp = s(j-m1+1);
if( ctemp!=1 || stemp!=0 )
{
temp = a(j+1,n1);
a(j+1,n1) = ctemp*temp-stemp*a(j,n1);
a(j,n1) = stemp*temp+ctemp*a(j,n1);
}
}
}
}
else
{
if( n1!=n2 )
{
//
// Common case: N1<>N2
//
for(j=m2-1; j>=m1; j--)
{
ctemp = c(j-m1+1);
stemp = s(j-m1+1);
if( ctemp!=1 || stemp!=0 )
{
jp1 = j+1;
ap::vmove(work.getvector(n1, n2), a.getrow(jp1, n1, n2), ctemp);
ap::vsub(work.getvector(n1, n2), a.getrow(j, n1, n2), stemp);
ap::vmul(a.getrow(j, n1, n2), ctemp);
ap::vadd(a.getrow(j, n1, n2), a.getrow(jp1, n1, n2), stemp);
ap::vmove(a.getrow(jp1, n1, n2), work.getvector(n1, n2));
}
}
}
else
{
//
// Special case: N1=N2
//
for(j=m2-1; j>=m1; j--)
{
ctemp = c(j-m1+1);
stemp = s(j-m1+1);
if( ctemp!=1 || stemp!=0 )
{
temp = a(j+1,n1);
a(j+1,n1) = ctemp*temp-stemp*a(j,n1);
a(j,n1) = stemp*temp+ctemp*a(j,n1);
}
}
}
}
}
/*************************************************************************
Application of a sequence of elementary rotations to a matrix
The algorithm post-multiplies the matrix by a sequence of rotation
transformations which is given by arrays C and S. Depending on the value
of the IsForward parameter either 1 and 2, 3 and 4 and so on (if IsForward=true)
rows are rotated, or the rows N and N-1, N-2 and N-3 and so on are rotated.
Not the whole matrix but only a part of it is transformed (rows from M1
to M2, columns from N1 to N2). Only the elements of this submatrix are changed.
Input parameters:
IsForward - the sequence of the rotation application.
M1,M2 - the range of rows to be transformed.
N1, N2 - the range of columns to be transformed.
C,S - transformation coefficients.
Array whose index ranges within [1..N2-N1].
A - processed matrix.
WORK - working array whose index ranges within [M1..M2].
Output parameters:
A - transformed matrix.
Utility subroutine.
*************************************************************************/
template<unsigned int Precision>
void applyrotationsfromtheright(bool isforward,
int m1,
int m2,
int n1,
int n2,
const ap::template_1d_array< amp::ampf<Precision> >& c,
const ap::template_1d_array< amp::ampf<Precision> >& s,
ap::template_2d_array< amp::ampf<Precision> >& a,
ap::template_1d_array< amp::ampf<Precision> >& work)
{
int j;
int jp1;
amp::ampf<Precision> ctemp;
amp::ampf<Precision> stemp;
amp::ampf<Precision> temp;
//
// Form A * P'
//
if( isforward )
{
if( m1!=m2 )
{
//
// Common case: M1<>M2
//
for(j=n1; j<=n2-1; j++)
{
ctemp = c(j-n1+1);
stemp = s(j-n1+1);
if( ctemp!=1 || stemp!=0 )
{
jp1 = j+1;
ap::vmove(work.getvector(m1, m2), a.getcolumn(jp1, m1, m2), ctemp);
ap::vsub(work.getvector(m1, m2), a.getcolumn(j, m1, m2), stemp);
ap::vmul(a.getcolumn(j, m1, m2), ctemp);
ap::vadd(a.getcolumn(j, m1, m2), a.getcolumn(jp1, m1, m2), stemp);
ap::vmove(a.getcolumn(jp1, m1, m2), work.getvector(m1, m2));
}
}
}
else
{
//
// Special case: M1=M2
//
for(j=n1; j<=n2-1; j++)
{
ctemp = c(j-n1+1);
stemp = s(j-n1+1);
if( ctemp!=1 || stemp!=0 )
{
temp = a(m1,j+1);
a(m1,j+1) = ctemp*temp-stemp*a(m1,j);
a(m1,j) = stemp*temp+ctemp*a(m1,j);
}
}
}
}
else
{
if( m1!=m2 )
{
//
// Common case: M1<>M2
//
for(j=n2-1; j>=n1; j--)
{
ctemp = c(j-n1+1);
stemp = s(j-n1+1);
if( ctemp!=1 || stemp!=0 )
{
jp1 = j+1;
ap::vmove(work.getvector(m1, m2), a.getcolumn(jp1, m1, m2), ctemp);
ap::vsub(work.getvector(m1, m2), a.getcolumn(j, m1, m2), stemp);
ap::vmul(a.getcolumn(j, m1, m2), ctemp);
ap::vadd(a.getcolumn(j, m1, m2), a.getcolumn(jp1, m1, m2), stemp);
ap::vmove(a.getcolumn(jp1, m1, m2), work.getvector(m1, m2));
}
}
}
else
{
//
// Special case: M1=M2
//
for(j=n2-1; j>=n1; j--)
{
ctemp = c(j-n1+1);
stemp = s(j-n1+1);
if( ctemp!=1 || stemp!=0 )
{
temp = a(m1,j+1);
a(m1,j+1) = ctemp*temp-stemp*a(m1,j);
a(m1,j) = stemp*temp+ctemp*a(m1,j);
}
}
}
}
}
/*************************************************************************
The subroutine generates the elementary rotation, so that:
[ CS SN ] . [ F ] = [ R ]
[ -SN CS ] [ G ] [ 0 ]
CS**2 + SN**2 = 1
*************************************************************************/
template<unsigned int Precision>
void generaterotation(amp::ampf<Precision> f,
amp::ampf<Precision> g,
amp::ampf<Precision>& cs,
amp::ampf<Precision>& sn,
amp::ampf<Precision>& r)
{
amp::ampf<Precision> f1;
amp::ampf<Precision> g1;
if( g==0 )
{
cs = 1;
sn = 0;
r = f;
}
else
{
if( f==0 )
{
cs = 0;
sn = 1;
r = g;
}
else
{
f1 = f;
g1 = g;
r = amp::sqrt<Precision>(amp::sqr<Precision>(f1)+amp::sqr<Precision>(g1));
cs = f1/r;
sn = g1/r;
if( amp::abs<Precision>(f)>amp::abs<Precision>(g) && cs<0 )
{
cs = -cs;
sn = -sn;
r = -r;
}
}
}
}
} // namespace
#endif
amp.h
ap.h
g
g
Definition cfModGcd.cc:4098
f
FILE * f
Definition checklibs.c:9
amp::ampf
Definition amp.h:82
ap::template_1d_array
Definition ap.h:657
ap::template_2d_array
Definition ap.h:807
s
const CanonicalForm int s
Definition facAbsFact.cc:51
j
int j
Definition facHensel.cc:110
amp::abs
const ampf< Precision > abs(const ampf< Precision > &x)
Definition amp.h:713
amp::sqrt
const ampf< Precision > sqrt(const ampf< Precision > &x)
Definition amp.h:740
amp::sqr
const ampf< Precision > sqr(const ampf< Precision > &x)
Definition amp.h:693
ap::vmove
void vmove(raw_vector< T > vdst, const_raw_vector< T > vsrc)
Definition ap.h:237
ap::vadd
void vadd(raw_vector< T > vdst, const_raw_vector< T > vsrc)
Definition ap.h:413
ap::vmul
void vmul(raw_vector< T > vdst, T2 alpha)
Definition ap.h:603
ap::vsub
void vsub(raw_vector< T > vdst, const_raw_vector< T > vsrc)
Definition ap.h:533
rotations
Definition rotations.h:45
rotations::applyrotationsfromtheright
void applyrotationsfromtheright(bool isforward, int m1, int m2, int n1, int n2, const ap::template_1d_array< amp::ampf< Precision > > &c, const ap::template_1d_array< amp::ampf< Precision > > &s, ap::template_2d_array< amp::ampf< Precision > > &a, ap::template_1d_array< amp::ampf< Precision > > &work)
Definition rotations.h:238
rotations::generaterotation
void generaterotation(amp::ampf< Precision > f, amp::ampf< Precision > g, amp::ampf< Precision > &cs, amp::ampf< Precision > &sn, amp::ampf< Precision > &r)
Definition rotations.h:355
rotations::applyrotationsfromtheleft
void applyrotationsfromtheleft(bool isforward, int m1, int m2, int n1, int n2, const ap::template_1d_array< amp::ampf< Precision > > &c, const ap::template_1d_array< amp::ampf< Precision > > &s, ap::template_2d_array< amp::ampf< Precision > > &a, ap::template_1d_array< amp::ampf< Precision > > &work)
Definition rotations.h:100