1:-module(electromagnetism,[]).    2units:alias(isq:volume_electric_charge,isq:electric_charge_density).
    3units:alias(isq:volumic_charge,isq:electric_charge_density).
    4units:alias(isq:areic_electric_charge,isq:surface_density_of_electric_charge).
    5units:alias(isq:areic_charge,isq:surface_density_of_electric_charge).
    6units:alias(isq:lineic_electric_charge,isq:linear_density_of_electric_charge).
    7units:alias(isq:lineic_charge,isq:linear_density_of_electric_charge).
    8units:alias(isq:electric_tension,isq:voltage).
    9units:alias(isq:electric_displacement,isq:electric_flux_density).
   10units:alias(isq:permeability_of_vacuum,isq:magnetic_constant).
   11units:alias(isq:light_speed_in_vacuum,isq:speed_of_light_in_vacuum).
   12units:alias(isq:luminal_speed,isq:speed_of_light_in_vacuum).
   13units:alias(isq:permittivity_of_vacuum,isq:electric_constant).
   14units:alias(isq:magnetic_area_moment,isq:magnetic_moment).
   15units:alias(isq:magnetizing_field,isq:magnetic_field_strength).
   16units:alias(isq:coercive_field_strength,isq:coercivity).
   17units:alias(isq:source_tension,isq:source_voltage).
   18units:alias(isq:self_inductance,isq:inductance).
   19units:alias(isq:instantaneous_power,isq:electromagnetism_power).
   20units:alias(isq:electric_tension_phasor,isq:voltage_phasor).
   21units:alias(isq:complex_impedance,isq:impedance).
   22units:alias(isq:wave_impedance_in_vacuum,isq:impedance_of_vacuum).
   23units:alias(isq:complex_admittance,isq:admittance).
   24units:quantity_character(isq:electric_potential,quantity_character:real_scalar).
   25units:quantity_character(isq:electric_potential_difference,quantity_character:real_scalar).
   26units:quantity_character(isq:magnetic_flux_density,quantity_character:vector).
   27units:quantity_character(isq:permittivity,quantity_character:real_scalar).
   28units:quantity_character(isq:electric_susceptibility,quantity_character:real_scalar).
   29units:quantity_character(isq:electric_flux,quantity_character:real_scalar).
   30units:quantity_character(isq:displacement_current,quantity_character:real_scalar).
   31units:quantity_character(isq:magnetic_flux,quantity_character:real_scalar).
   32units:quantity_character(isq:protoflux,quantity_character:real_scalar).
   33units:quantity_character(isq:magnetic_moment,quantity_character:vector).
   34units:quantity_character(isq:permeability,quantity_character:real_scalar).
   35units:quantity_character(isq:magnetic_susceptibility,quantity_character:real_scalar).
   36units:quantity_character(isq:coercivity,quantity_character:real_scalar).
   37units:quantity_character(isq:electromagnetic_energy_density,quantity_character:real_scalar).
   38units:quantity_character(isq:magnetic_tension,quantity_character:real_scalar).
   39units:quantity_character(isq:magnetomotive_force,quantity_character:real_scalar).
   40units:quantity_character(isq:conductivity,quantity_character:real_scalar).
   41units:quantity_character(isq:electric_current_phasor,quantity_character:complex_scalar).
   42units:quantity_character(isq:voltage_phasor,quantity_character:complex_scalar).
   43units:quantity_character(isq:resistance_to_alternating_current,quantity_character:real_scalar).
   44units:quantity_character(isq:reactance,quantity_character:real_scalar).
   45units:quantity_character(isq:apparent_impedance,quantity_character:real_scalar).
   46units:quantity_character(isq:conductance_for_alternating_current,quantity_character:real_scalar).
   47units:quantity_character(isq:susceptance,quantity_character:real_scalar).
   48units:quantity_character(isq:apparent_admittance,quantity_character:real_scalar).
   49units:quantity_character(isq:apparent_power,quantity_character:real_scalar).
   50units:quantity_formula(isq:relative_permittivity,(isq:permittivity)/(isq:electric_constant)).
   51units:quantity_formula(isq:electric_susceptibility,(isq:electric_polarization)/(isq:electric_constant)/(isq:electric_field_strength)).
   52units:quantity_formula(isq:displacement_current,(isq:displacement_current_density)*(isq:area)).
   53units:quantity_formula(isq:relative_permeability,(isq:permeability)/(isq:magnetic_constant)).
   54units:quantity_formula(isq:magnetic_susceptibility,(isq:magnetization)/(isq:magnetic_field_strength)).
   55units:quantity_formula(isq:magnetic_tension,(isq:magnetic_field_strength)*(isq:position_vector)).
   56units:quantity_formula(isq:magnetomotive_force,(isq:magnetic_field_strength)*(isq:position_vector)).
   57units:quantity_formula(isq:coupling_factor,(isq:mutual_inductance)/((isq:self_inductance)**2)**(1/2)).
   58units:quantity_formula(isq:leakage_factor,(isq:coupling_factor)**2).
   59units:quantity_formula(isq:electromagnetism_power,(isq:voltage)*(isq:electric_current)).
   60units:quantity_formula(isq:admittance_of_vacuum,1/(isq:impedance_of_vacuum)).
   61units:quantity_formula(isq:quality_factor,(isq:reactance)/(isq:resistance)).
   62units:quantity_formula(isq:loss_factor,1/(isq:quality_factor)).
   63units:quantity_formula(isq:active_power,1/(isq:period)*((isq:instantaneous_power)*(isq:time))).
   64units:quantity_formula(isq:power_factor,(isq:active_power)/(isq:apparent_power)).
   65units:quantity_parent(isq:electric_charge,(isq:electric_current)*(isq:time)).
   66units:quantity_parent(isq:elementary_charge,isq:electric_charge).
   67units:quantity_parent(isq:electric_charge_density,(isq:electric_charge)/(isq:volume)).
   68units:quantity_parent(isq:surface_density_of_electric_charge,(isq:electric_charge)/(isq:area)).
   69units:quantity_parent(isq:linear_density_of_electric_charge,(isq:electric_charge)/(isq:length)).
   70units:quantity_parent(isq:electric_dipole_moment,(isq:electric_charge)*(isq:displacement)).
   71units:quantity_parent(isq:electric_polarization,(isq:electric_dipole_moment)/(isq:volume)).
   72units:quantity_parent(isq:electric_current_density,(isq:electric_charge_density)*(isq:velocity)).
   73units:quantity_parent(isq:linear_electric_current_density,(isq:surface_density_of_electric_charge)*(isq:velocity)).
   74units:quantity_parent(isq:electric_field_strength,(isq:force)/(isq:electric_charge)).
   75units:quantity_parent(isq:electric_potential,(isq:electric_field_strength)*(isq:length)).
   76units:quantity_parent(isq:electric_potential_difference,isq:electric_potential).
   77units:quantity_parent(isq:voltage,isq:electric_potential).
   78units:quantity_parent(isq:induced_voltage,isq:voltage).
   79units:quantity_parent(isq:electric_flux_density,isq:electric_polarization).
   80units:quantity_parent(isq:capacitance,(isq:electric_charge)/(isq:voltage)).
   81units:quantity_parent(isq:magnetic_flux_density,(isq:force)/((isq:electric_charge)*(isq:velocity))).
   82units:quantity_parent(isq:magnetic_constant,(isq:electric_potential)*(isq:time)/((isq:electric_current)*(isq:length))).
   83units:quantity_parent(isq:phase_speed_of_electromagnetic_waves,(isq:angular_frequency)/(isq:angular_wavenumber)).
   84units:quantity_parent(isq:speed_of_light_in_vacuum,isq:speed).
   85units:quantity_parent(isq:electric_constant,1/((isq:magnetic_constant)*(isq:speed_of_light_in_vacuum)**2)).
   86units:quantity_parent(isq:permittivity,(isq:electric_flux_density)/(isq:electric_field_strength)).
   87units:quantity_parent(isq:relative_permittivity,1).
   88units:quantity_parent(isq:electric_susceptibility,1).
   89units:quantity_parent(isq:electric_flux,(isq:electric_flux_density)*(isq:area)).
   90units:quantity_parent(isq:displacement_current_density,(isq:electric_flux_density)/(isq:time)).
   91units:quantity_parent(isq:displacement_current,isq:electric_current).
   92units:quantity_parent(isq:total_current,isq:electric_current).
   93units:quantity_parent(isq:total_current_density,isq:electric_current_density).
   94units:quantity_parent(isq:magnetic_flux,(isq:magnetic_flux_density)*(isq:area)).
   95units:quantity_parent(isq:magnetic_vector_potential,(isq:magnetic_flux_density)*(isq:length)).
   96units:quantity_parent(isq:protoflux,(isq:magnetic_vector_potential)*(isq:displacement)).
   97units:quantity_parent(isq:linked_magnetic_flux,isq:magnetic_flux).
   98units:quantity_parent(isq:total_magnetic_flux,isq:magnetic_flux).
   99units:quantity_parent(isq:magnetic_moment,(isq:electric_current)*(isq:area)).
  100units:quantity_parent(isq:magnetization,(isq:magnetic_moment)/(isq:volume)).
  101units:quantity_parent(isq:magnetic_field_strength,isq:magnetization).
  102units:quantity_parent(isq:permeability,(isq:magnetic_flux_density)/(isq:magnetic_field_strength)).
  103units:quantity_parent(isq:relative_permeability,1).
  104units:quantity_parent(isq:magnetic_susceptibility,1).
  105units:quantity_parent(isq:magnetic_polarization,(isq:magnetic_constant)*(isq:magnetization)).
  106units:quantity_parent(isq:magnetic_dipole_moment,(isq:magnetic_constant)*(isq:magnetic_moment)).
  107units:quantity_parent(isq:coercivity,isq:magnetic_field_strength).
  108units:quantity_parent(isq:electromagnetic_energy_density,(isq:electric_field_strength)*(isq:electric_flux_density)).
  109units:quantity_parent(isq:'Poynting_vector',(isq:electric_field_strength)*(isq:magnetic_field_strength)).
  110units:quantity_parent(isq:source_voltage,isq:voltage).
  111units:quantity_parent(isq:magnetic_potential,isq:electric_current).
  112units:quantity_parent(isq:magnetic_tension,isq:electric_current).
  113units:quantity_parent(isq:magnetomotive_force,isq:electric_current).
  114units:quantity_parent(isq:number_of_turns_in_a_winding,1).
  115units:quantity_parent(isq:reluctance,(isq:magnetic_tension)/(isq:magnetic_flux)).
  116units:quantity_parent(isq:permeance,1/(isq:reluctance)).
  117units:quantity_parent(isq:inductance,(isq:protoflux)/(isq:electric_current)).
  118units:quantity_parent(isq:mutual_inductance,(isq:protoflux)/(isq:electric_current)).
  119units:quantity_parent(isq:coupling_factor,1).
  120units:quantity_parent(isq:leakage_factor,1).
  121units:quantity_parent(isq:conductivity,(isq:electric_current_density)/(isq:electric_field_strength)).
  122units:quantity_parent(isq:resistivity,1/(isq:conductivity)).
  123units:quantity_parent(isq:electromagnetism_power,isq:power).
  124units:quantity_parent(isq:resistance,(isq:voltage)/(isq:electric_current)).
  125units:quantity_parent(isq:conductance,1/(isq:resistance)).
  126units:quantity_parent(isq:phase_difference,isq:phase_angle).
  127units:quantity_parent(isq:electric_current_phasor,isq:electric_current).
  128units:quantity_parent(isq:voltage_phasor,isq:voltage).
  129units:quantity_parent(isq:impedance,(isq:voltage_phasor)/(isq:electric_current_phasor)).
  130units:quantity_parent(isq:impedance_of_vacuum,isq:impedance).
  131units:quantity_parent(isq:resistance_to_alternating_current,isq:impedance).
  132units:quantity_parent(isq:reactance,isq:impedance).
  133units:quantity_parent(isq:apparent_impedance,isq:impedance).
  134units:quantity_parent(isq:admittance,1/(isq:impedance)).
  135units:quantity_parent(isq:admittance_of_vacuum,isq:admittance).
  136units:quantity_parent(isq:conductance_for_alternating_current,isq:conductance).
  137units:quantity_parent(isq:susceptance,isq:admittance).
  138units:quantity_parent(isq:apparent_admittance,isq:admittance).
  139units:quantity_parent(isq:quality_factor,1).
  140units:quantity_parent(isq:loss_factor,1).
  141units:quantity_parent(isq:loss_angle,isq:angular_measure).
  142units:quantity_parent(isq:active_power,isq:power).
  143units:quantity_parent(isq:complex_power,(isq:voltage_phasor)*(isq:electric_current_phasor)).
  144units:quantity_parent(isq:apparent_power,isq:complex_power).
  145units:quantity_parent(isq:power_factor,1).
  146units:quantity_parent(isq:reactive_power,(isq:mass)*(isq:length)**2/(isq:time)**3).
  147units:quantity_parent(isq:non_active_power,((isq:apparent_power)**2)**(1/2)).
  148units:quantity_parent(isq:active_energy,(isq:instantaneous_power)*(isq:time))