proj-core 0.10.0

use crate::ellipsoid::Ellipsoid;
use crate::error::{Error, Result};
use crate::projection::{
    ensure_finite_lon_lat, ensure_finite_xy, normalize_longitude, validate_angle,
    validate_latitude_param, validate_lon_lat, validate_offset, validate_projected, validate_scale,
};

/// Lambert Conformal Conic projection (1SP and 2SP).
///
/// Used by many national and regional grids including US State Plane zones,
/// European grids (France Lambert, etc.).
#[derive(Clone)]
pub(crate) struct LambertConformalConic {
    a: f64,
    e: f64,
    lon0: f64,
    n: f64,
    f_const: f64,
    rho0: f64,
    false_easting: f64,
    false_northing: f64,
}

impl LambertConformalConic {
    #[allow(clippy::too_many_arguments)]
    pub(crate) fn new(
        ellipsoid: Ellipsoid,
        lon0: f64,
        lat0: f64,
        lat1: f64,
        lat2: f64,
        k0: f64,
        false_easting: f64,
        false_northing: f64,
    ) -> Result<Self> {
        validate_angle("central meridian", lon0)?;
        validate_latitude_param("latitude of origin", lat0)?;
        validate_latitude_param("first standard parallel", lat1)?;
        validate_latitude_param("second standard parallel", lat2)?;
        validate_scale("scale factor", k0)?;
        validate_offset("false easting", false_easting)?;
        validate_offset("false northing", false_northing)?;

        let e = ellipsoid.e();
        let m1 = m_func(lat1, e);
        let m2 = m_func(lat2, e);
        let t0 = t_func(lat0, e);
        let t1 = t_func(lat1, e);
        let t2 = t_func(lat2, e);

        let n = if (lat1 - lat2).abs() < 1e-10 {
            lat1.sin()
        } else {
            (m1.ln() - m2.ln()) / (t1.ln() - t2.ln())
        };
        if n.abs() < 1e-12 {
            return Err(Error::InvalidDefinition(
                "Lambert Conformal Conic standard parallels yield a zero cone constant".into(),
            ));
        }

        // The 1SP variant's scale factor at the natural origin multiplies the
        // cone constant term; k0 is 1.0 for 2SP definitions.
        let f_const = k0 * m1 / (n * t1.powf(n));
        let rho0 = ellipsoid.semi_major_axis() * f_const * t0.powf(n);

        Ok(Self {
            a: ellipsoid.semi_major_axis(),
            e,
            lon0,
            n,
            f_const,
            rho0,
            false_easting,
            false_northing,
        })
    }

    /// EPSG method 1102 (1SP variant B): the cone constant and scale come
    /// from the natural origin, while the grid origin (false easting and
    /// northing) sits at a separate false-origin latitude.
    pub(crate) fn new_1sp_variant_b(
        ellipsoid: Ellipsoid,
        lon0: f64,
        lat0: f64,
        k0: f64,
        lat_false_origin: f64,
        false_easting: f64,
        false_northing: f64,
    ) -> Result<Self> {
        validate_angle("longitude of false origin", lon0)?;
        validate_latitude_param("latitude of natural origin", lat0)?;
        validate_scale("scale factor", k0)?;
        validate_latitude_param("latitude of false origin", lat_false_origin)?;
        validate_offset("false easting", false_easting)?;
        validate_offset("false northing", false_northing)?;

        let e = ellipsoid.e();
        let n = lat0.sin();
        if n.abs() < 1e-12 {
            return Err(Error::InvalidDefinition(
                "Lambert Conformal Conic 1SP variant B natural origin cannot be equatorial".into(),
            ));
        }

        let m0 = m_func(lat0, e);
        let t0 = t_func(lat0, e);
        let f_const = k0 * m0 / (n * t0.powf(n));
        let t_false = t_func(lat_false_origin, e);
        let rho0 = ellipsoid.semi_major_axis() * f_const * t_false.powf(n);

        Ok(Self {
            a: ellipsoid.semi_major_axis(),
            e,
            lon0,
            n,
            f_const,
            rho0,
            false_easting,
            false_northing,
        })
    }
}

fn m_func(lat: f64, e: f64) -> f64 {
    let sin_lat = lat.sin();
    lat.cos() / (1.0 - e * e * sin_lat * sin_lat).sqrt()
}

fn t_func(lat: f64, e: f64) -> f64 {
    let sin_lat = lat.sin();
    let e_sin = e * sin_lat;
    (std::f64::consts::FRAC_PI_4 - lat / 2.0).tan() / ((1.0 - e_sin) / (1.0 + e_sin)).powf(e / 2.0)
}

impl super::ProjectionImpl for LambertConformalConic {
    fn forward(&self, lon: f64, lat: f64) -> Result<(f64, f64)> {
        validate_lon_lat(lon, lat)?;
        let t = t_func(lat, self.e);
        let rho = self.a * self.f_const * t.powf(self.n);
        let theta = self.n * normalize_longitude(lon - self.lon0);

        let x = self.false_easting + rho * theta.sin();
        let y = self.false_northing + self.rho0 - rho * theta.cos();

        ensure_finite_xy("Lambert Conformal Conic", x, y)
    }

    fn inverse(&self, x: f64, y: f64) -> Result<(f64, f64)> {
        validate_projected(x, y)?;
        let dx = x - self.false_easting;
        let dy = self.rho0 - (y - self.false_northing);

        let rho = (dx * dx + dy * dy).sqrt() * self.n.signum();
        let theta = dx.atan2(dy);

        let t = (rho / (self.a * self.f_const)).powf(1.0 / self.n);
        let lat = super::latitude_from_conformal_t(
            "Lambert Conformal Conic inverse latitude",
            t,
            self.e,
        )?;
        let lon = self.lon0 + theta / self.n;

        ensure_finite_lon_lat("Lambert Conformal Conic", lon, lat)
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::ellipsoid;
    use crate::projection::ProjectionImpl;

    #[test]
    fn roundtrip_2sp() {
        // Approximate France Lambert (EPSG:2154 parameters)
        let proj = LambertConformalConic::new(
            ellipsoid::GRS80,
            3.0_f64.to_radians(),
            46.5_f64.to_radians(),
            44.0_f64.to_radians(),
            49.0_f64.to_radians(),
            1.0,
            700_000.0,
            6_600_000.0,
        )
        .unwrap();

        let lon = 2.3522_f64.to_radians(); // Paris
        let lat = 48.8566_f64.to_radians();
        let (x, y) = proj.forward(lon, lat).unwrap();
        let (lon2, lat2) = proj.inverse(x, y).unwrap();

        assert!(
            (lon2 - lon).abs() < 1e-8,
            "lon: {} vs {}",
            lon2.to_degrees(),
            lon.to_degrees()
        );
        assert!(
            (lat2 - lat).abs() < 1e-8,
            "lat: {} vs {}",
            lat2.to_degrees(),
            lat.to_degrees()
        );
    }

    #[test]
    fn roundtrip_1sp() {
        // 1SP variant (lat1 == lat2)
        let proj = LambertConformalConic::new(
            ellipsoid::WGS84,
            (-96.0_f64).to_radians(),
            33.0_f64.to_radians(),
            33.0_f64.to_radians(),
            33.0_f64.to_radians(),
            1.0,
            500_000.0,
            0.0,
        )
        .unwrap();

        let lon = (-96.0_f64).to_radians();
        let lat = 33.0_f64.to_radians();
        let (x, y) = proj.forward(lon, lat).unwrap();
        let (lon2, lat2) = proj.inverse(x, y).unwrap();

        assert!((lon2 - lon).abs() < 1e-8);
        assert!((lat2 - lat).abs() < 1e-8);
    }

    #[test]
    fn forward_wraps_longitude_delta() {
        let proj = LambertConformalConic::new(
            ellipsoid::GRS80,
            179.0_f64.to_radians(),
            46.5_f64.to_radians(),
            44.0_f64.to_radians(),
            49.0_f64.to_radians(),
            1.0,
            700_000.0,
            6_600_000.0,
        )
        .unwrap();
        let lat = 48.0_f64.to_radians();

        let wrapped = proj.forward((-181.0_f64).to_radians(), lat).unwrap();
        let canonical = proj.forward(179.0_f64.to_radians(), lat).unwrap();

        assert!((wrapped.0 - canonical.0).abs() < 1e-8);
        assert!((wrapped.1 - canonical.1).abs() < 1e-8);
    }
}