Skip to content

GitLab

Commit d7584663 authored by Jean-Eric Campagne's avatar Jean-Eric Campagne
Browse files

(JEC/MR) 11/4/15 new code to compute nodes and weights

parent 12a3ffc3
Hide whitespace changes
Inline Side-by-side
Showing with 134 additions and 114 deletions
README.md
View file @ d7584663
......@@ -7,6 +7,10 @@ git clone https://gitlab.in2p3.fr/campagne/LagSHT.git
Download en Personne enregistree sur gitlab
git clone git@gitlab.in2p3.fr:campagne/LagSHT.git
# 11/4/15
* update of the code by M.R to compute the nodes/weights included in the LaguerreBuilder file.
* NB: use of `<cmath>` mandatory
# 10/4/15
* new code from M. Reinecke to compute the nodes/weights of the generalized Laguerre function quadrature. It extends greatly the validity of the computation (N ~ 20000 tested) wo the needs of special floating-point representation. It is done by proprely scaling factor do on the fly.
......
lagSphericTransform.cc
View file @ d7584663
......@@ -142,6 +142,9 @@ void LaguerreSphericalTransform::Analysis(const vector<r_8>& fijk,
vector< complex<r_8> > flmk(NtotCoeff);
int off7n, off7k;
tstack_push("SHT Analysis");
//Ylm analysis per shell
for(int n =0; n<N_; n++){
off7n = n*Nalm_;
......@@ -159,6 +162,8 @@ void LaguerreSphericalTransform::Analysis(const vector<r_8>& fijk,
cout << "Start Laguerre..." << endl;
#endif
tstack_pop("SHT Analysis");
tstack_push("Laguerre MultiAnalysis");
//Laguerre Transform
lagTrans_.MultiAnalysis(flmk, flmn, Nalm_);
......@@ -167,6 +172,9 @@ void LaguerreSphericalTransform::Analysis(const vector<r_8>& fijk,
cout << "End Laguerre..." << endl;
#endif
tstack_pop("Laguerre MultiAnalysis");
#if DEBUG >= 2
for (int i=0;i<NtotCoeff; i++) {
cout << "flmn("<<i<<"): " <<flmn[i] << endl;
......
laguerreBuilder.cc
View file @ d7584663
#include <stdlib.h>
#include <iostream>
#include <math.h> //fabsl, expl
#include "lagsht_exceptions.h"
#include "laguerreBuilder.h"
......@@ -9,17 +5,17 @@
namespace LagSHT {
void LaguerreFuncQuad::QuadWeightNodes(vector<r_8>& nodes, vector<r_8>& weights) {
mod_laguerre_nodes_weights(N_,alpha_,nodes,weights);
void LaguerreFuncQuad::QuadWeightNodes(vector<r_8>& nodes, vector<r_8>& weights) const {
nodes_and_weights(N_,nodes,weights);
}//LaguerreFuncQuad::QuadWeightNodes
r_8 LaguerreFuncQuad::Value(r_8 x, r_8 scale){
return mod_laguerre (x,N_,alpha_);
r_8 LaguerreFuncQuad::Value(r_8 x, r_8 scale) const{
return value(x,N_);
}//LaguerreFuncQuad::Value
void LaguerreFuncQuad::Values(r_8 x, vector<r_8>& vals, r_8 scale) {
if(vals.size() != (N_+1) ) throw LagSHTError("Values with vals.size != (N+1)");
mod_laguerre_vector(x,N_,alpha_,vals);
values(x,N_,vals);
}//LaguerreFuncQuad::Values
......
laguerreBuilder.h
View file @ d7584663
#ifndef LAGUERREBUILDER_SEEN
#define LAGUERREBUILDER_SEEN
#include <cmath> //very important !!!
#include <cmath> //very important for abs definition
#include <vector>
#include <iostream>
#include "lagsht_numbers.h"
using namespace std;
......@@ -20,167 +22,177 @@ namespace LagSHT {
class LaguerreFuncQuad {
public:
//! Creator
LaguerreFuncQuad(int n, int alpha=2):
N_(n),
alpha_(alpha)
{}
LaguerreFuncQuad(int N, int alpha=2): N_(N), alpha_(alpha),
ln2(0.693147180559945309417232121458176),
inv_ln2(1.4426950408889634073599246810018921),
fsmall(std::ldexp(1.,-large_exponent2)),
fbig(std::ldexp(1.,large_exponent2)),
xi(N+2), cf(maxscale+1-minscale) {
using namespace std;
xi[0]=0.;
for (size_t i=1; i<xi.size(); ++i)
xi[i]=1./i;
for (size_t i=0; i<cf.size(); ++i)
cf[i] = ldexp(1.,(int(i)+minscale)*large_exponent2);
}
//! Destructor
virtual ~LaguerreFuncQuad() {}
//! Getters
int GetOrder() { return N_; }
int GetAlpha() { return alpha_; }
int GetOrder() const { return N_; }
int GetAlpha() const { return alpha_; }
//! Compute Weights and Nodes of the Gauss-Laguerre quadrature
// void QuadWeightNodes(vector<r_16>& nodes, vector<r_16>& weights);
void QuadWeightNodes(vector<r_8>& nodes, vector<r_8>& weights);
void QuadWeightNodes(vector<r_8>& nodes, vector<r_8>& weights) const;
//! Compute L_n^alpha(x) * exp(-x/2) * scale with n = N_
// r_16 Value(r_8 x, r_16 scale=1.0);
r_8 Value(r_8 x, r_8 scale=1.0);
r_8 Value(r_8 x, r_8 scale=1.0) const;
//! Compute L_n^alpha(x) * exp(-x/2) * scale with n=0,...,N_ (included)
// void Values(r_8 x, vector<r_16>& vals, r_16 scale=1.0);
void Values(r_8 x, vector<r_8>& vals, r_8 scale=1.0);
protected:
// returns the amount by which x must be shifted to go closer to a root of
// L_N^alpha(x)
double laguerre_newtoncorr (double x, int N, int alpha)
{
using namespace std;
if(N<1) return 0;
const int lim_exp=60;
const double scalefac=ldexp(1.,lim_exp);
const double xscalefac=ldexp(1.,-lim_exp);
double pnm1=0, pn=1;
/*! returns the amount by which x must be shifted to go closer to a root of
L_N^alpha(x)
*/
double newtoncorr (double x, int N) const {
using namespace std;
if(N<1) return 0.;
double pnm1=0., pn=1.;
double c1=alpha_-1., c2=alpha_-1.;
for(int i=1;i<=N;i++)
{
double pnm2 = pnm1;
pnm1 = pn;
pn = ((2*i+alpha-1-x)*pnm1 - (i+alpha-1)*pnm2)/i;
// if necessary, scale down
// the function result is independent of the absolute scale
while (abs(pn)>=scalefac)
{ pn*=xscalefac; pnm1*=xscalefac; }
double pnm2 = pnm1;
pnm1 = pn;
c1+=2.;
c2+=1.;
pn = ((c1-x)*pnm1 - c2*pnm2)*xi[i];
// if necessary, scale down
// the function result is independent of the absolute scale
while (abs(pn)>=fbig)
{ pn*=fsmall; pnm1*=fsmall; }
}
double ppn=(N*pn-(N+alpha)*pnm1)/x;
double ppn=(N*pn-(N+alpha_)*pnm1)/x;
return -pn/ppn;
}
}//newtoncorr
// returns L_N^alpha(x)*exp(-x/2)
double mod_laguerre (double x, int N, int alpha)
{
/*! returns L_N^alpha(x)*exp(-x/2)
*/
double value(double x, int N) const {
using namespace std;
if (N<0) return 0;
const int lim_exp=60;
const double scalefac=ldexp(1.,lim_exp);
const double xscalefac=ldexp(1.,-lim_exp);
const double log2=log(2.);
double log2expfac = -0.5*x*inv_ln2;
int scale=int(log2expfac/large_exponent2);
log2expfac-=scale*large_exponent2;
double pnm1=0, pn=1;
int scale=0;
double pnm1=0., pn=exp(ln2*log2expfac);
double c1=alpha_-1., c2=alpha_-1.;
for(int i=1;i<=N;i++)
{
double pnm2 = pnm1;
pnm1 = pn;
pn = ((2*i+alpha-1-x)*pnm1 - (i+alpha-1)*pnm2)/i;
while (abs(pn)>=scalefac) // if necessary, scale down and count rescalings
{ pn*=xscalefac; pnm1*=xscalefac; ++scale; }
double pnm2 = pnm1;
pnm1 = pn;
c1+=2.;
c2+=1.;
pn = ((c1-x)*pnm1 - c2*pnm2)*xi[i];
while (abs(pn)>=fbig) // if necessary, scale down and count rescalings
{ pn*=fsmall; pnm1*=fsmall; ++scale; }
}
// compute natural logarithm of the rescalings and add it to the Laguerre
// normalisation factor.
double natlog = -0.5*x + log2*(scale*lim_exp);
// apply all corrections
return pn*exp(natlog);
}
return (scale<minscale) ? 0 : pn*cf[scale-minscale];
}//value
// returns L_n^alpha(x)*exp(-x/2) [n=0..N] in res.
void mod_laguerre_vector (double x, int N, int alpha, std::vector<double> &res)
{
/*! returns L_n^alpha(x)*exp(-x/2) [n=0..N] in res.
*/
void values (double x, int N, std::vector<double> &res) {
using namespace std;
if (N<0) { res.resize(0); return; }
res.resize(N+1);
res[0]=exp(-0.5*x);
const int lim_exp=60;
const double scalefac=ldexp(1.,lim_exp);
const double xscalefac=ldexp(1.,-lim_exp);
const double log2=log(2.);
double log2expfac = -0.5*x*inv_ln2;
int scale=int(log2expfac/large_exponent2);
log2expfac-=scale*large_exponent2;
double pnm1=0, pn=1;
int scale=0;
double pnm1=0., pn=exp(ln2*log2expfac);
double c1=alpha_-1., c2=alpha_-1.;
for(int i=1;i<=N;i++)
{
double pnm2 = pnm1;
pnm1 = pn;
pn = ((2*i+alpha-1-x)*pnm1 - (i+alpha-1)*pnm2)/i;
while (abs(pn)>=scalefac) // if necessary, scale down and count rescalings
{ pn*=xscalefac; pnm1*=xscalefac; ++scale; }
// compute natural logarithm of the rescalings and add it to the Laguerre
// normalisation factor.
double natlog = -0.5*x + log2*(scale*lim_exp);
// apply all corrections
res[i] = pn*exp(natlog);
double pnm2 = pnm1;
pnm1 = pn;
c1+=2.;
c2+=1.;
pn = ((c1-x)*pnm1 - c2*pnm2)*xi[i];
while (abs(pn)>=fbig) // if necessary, scale down and count rescalings
{ pn*=fsmall; pnm1*=fsmall; ++scale; }
res[i] = (scale<minscale) ? 0 : pn*cf[scale-minscale];
}
}
// computes nodes and weights for Gauss-Laguerre integration of order N
// NOTE: the weights are correct for modified Laguerre polynomials, i.e.
// L_N^alpha(x)*exp(-x/2)
void mod_laguerre_nodes_weights(int N, int alpha,
std::vector<double> &nodes, std::vector<double> &weights)
{
}//values
/*! computes nodes and weights for Gauss-Laguerre integration of order N
NOTE: the weights are correct for modified Laguerre polynomials, i.e.
L_N^alpha(x)*exp(-x/2)
*/
void nodes_and_weights(int N, std::vector<double> &nodes,
std::vector<double> &weights) const {
using namespace std;
nodes.resize(N);
weights.resize(N);
double tmp1 = N+alpha;
for (int i=1;i<alpha-1;i++) tmp1 *= (tmp1-1.);
double tmp1 = N+alpha_;
for (int i=1;i<alpha_-1;i++) tmp1 *= (tmp1-1.);
tmp1 /= (N+1.);
double x=0.;
//Approximation by Sould & Secrest
// Approximation by Stroud & Secrest, Gaussian quadrature formulas, 1966
for(int k=0; k<N; k++)
{
if (k==0)
x = (1.0+alpha)*(3.+0.92*alpha)/(1.+2.4*N+1.8*alpha);
else if (k==1)
x += (15.+6.25*alpha)/(1.+0.9*alpha+2.5*N);
else
{
if (k==0)
x = (1.0+alpha_)*(3.+0.92*alpha_)/(1.+2.4*N+1.8*alpha_);
else if (k==1)
x += (15.+6.25*alpha_)/(1.+0.9*alpha_+2.5*N);
else
{
int km1 = k-1;
double c0 = (1.+2.55*km1)/(1.9*km1)+1.26*km1*alpha/(1.+3.5*km1);
double c1 = 1.+0.3*alpha;
double c0 = (1.+2.55*km1)/(1.9*km1)+1.26*km1*alpha_/(1.+3.5*km1);
double c1 = 1.+0.3*alpha_;
x += c0*(x-nodes[k-2])/c1;
}
}
// Refinement using Newton's method
// Once we notice that we are close, do one more step and then exit
bool done=false;
while (true)
{
// Refinement using Newton's method
// Once we notice that we are close, do one more step and then exit
bool done=false;
while (true)
{
double xold=x;
x+=laguerre_newtoncorr (x, N, alpha);
x+=newtoncorr (x, N);
if (done) break;
if (abs(x-xold)<max(1e-12,1e-12*abs(x))) done=true;
}
nodes[k] = x;
}
double tmp0 = mod_laguerre(x, N+1, alpha);
weights[k] = x*tmp1/(tmp0*tmp0);
}
}
nodes[k] = x;
double tmp0 = value(x, N+1);
weights[k] = x*tmp1/(tmp0*tmp0);
}
}//nodes_and_weights
protected:
int N_; //!< Order of the polynomial
int alpha_; //!< second parameter of the generalized Laguerre polynomial
private:
enum { large_exponent2=90, minscale=-14, maxscale=14 };
double ln2, inv_ln2, fsmall, fbig;
std::vector<double> xi;
std::vector<double> cf;
}; //LaguerreFuncQuad
......
laguerreTransform.cc
View file @ d7584663
#include <math.h>
#include <cmath>
#include <iostream>
#include <algorithm> // for copy
#include <iterator> // for ostream_iterator
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment