Distorted Android

small improvements in DISTORT

Better normals in DISTORT

Vertex positions fully 3D now. Remaining: normals!

Preparation to make the WAVE effect fully 3D

Adjustments for EffectQueueVertex.postprocess()

Improvements for WAVE

Beginnings of the WAVE effect.

Correct an important bug in the vertex shader.

b = 1/a if a!=0, 1 otherwise was incorrectly computed as b = 1.0 / (a+1.0-sign(a)). This, when 0<a<2^-24, suffers from 'round-off error': then a+1.0 = 1.0 (sic!) thus b = 1/0 !.

Correct way: b = 1.0 / ( a - (sign(a)-1.0) )

Fixes for fragment effects in Effects3D.

Fix for Bug #17: Regions of Fragment Effects migrate.

Fix is: don't send vertex position and the Fragment Effect region to the fragment shader already multiplied by the ModelView matrix (that introduces the imprecise interpolation because of the projection effect) but simply send both of them in local coords.