eyeling 1.24.7 → 1.24.9

package/examples/output/transcendental-numbers-stretched.txt

@@ -1,260 +0,0 @@
-@prefix : <https://example.org/transcendental#> .
-
-:report :concerns :prod_e_pi .
-:report :concerns :sum_e_pi .
-:report :headline :quadraticTrick .
-:report :irrational :e .
-:report :irrational :e_div_2 .
-:report :irrational :e_plus_1 .
-:report :irrational :e_plus_2 .
-:report :irrational :exp_minus_pi_over_2 .
-:report :irrational :exp_sqrt2 .
-:report :irrational :half_times_e .
-:report :irrational :half_times_pi .
-:report :irrational :pi .
-:report :irrational :pi_div_2 .
-:report :irrational :pi_plus_1 .
-:report :irrational :pi_plus_sqrt2 .
-:report :irrational :pow_2_sqrt2 .
-:report :irrational :pow_e_pi .
-:report :irrational :pow_i_i .
-:report :irrational :pow_minus1_minusI .
-:report :irrational :pow2sqrt2_div_2 .
-:report :irrational :pow2sqrt2_plus_1 .
-:report :irrational :two_times_e .
-:report :irrational :two_times_pi .
-:report :irrational :two_times_pow2sqrt2 .
-:report :notConstructible :e .
-:report :notConstructible :e_div_2 .
-:report :notConstructible :e_plus_1 .
-:report :notConstructible :e_plus_2 .
-:report :notConstructible :exp_minus_pi_over_2 .
-:report :notConstructible :exp_sqrt2 .
-:report :notConstructible :half_times_e .
-:report :notConstructible :half_times_pi .
-:report :notConstructible :pi .
-:report :notConstructible :pi_div_2 .
-:report :notConstructible :pi_plus_1 .
-:report :notConstructible :pi_plus_sqrt2 .
-:report :notConstructible :pow_2_sqrt2 .
-:report :notConstructible :pow_e_pi .
-:report :notConstructible :pow_i_i .
-:report :notConstructible :pow_minus1_minusI .
-:report :notConstructible :pow2sqrt2_div_2 .
-:report :notConstructible :pow2sqrt2_plus_1 .
-:report :notConstructible :two_times_e .
-:report :notConstructible :two_times_pi .
-:report :notConstructible :two_times_pow2sqrt2 .
-:report :proof {
-    :e :provedBy :Hermite1873 .
-} .
-:report :proof {
-    :e :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :e :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :e_div_2 :provedBy :TransDivAlg .
-} .
-:report :proof {
-    :e_div_2 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :e_div_2 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :e_plus_1 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :e_plus_1 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :e_plus_1 :provedBy :TransPlusAlg .
-} .
-:report :proof {
-    :e_plus_2 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :e_plus_2 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :e_plus_2 :provedBy :TransPlusAlg .
-} .
-:report :proof {
-    :exp_minus_pi_over_2 :provedBy :GelfondSchneider .
-} .
-:report :proof {
-    :exp_minus_pi_over_2 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :exp_minus_pi_over_2 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :exp_sqrt2 :provedBy :LindemannWeierstrass .
-} .
-:report :proof {
-    :exp_sqrt2 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :exp_sqrt2 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :half_times_e :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :half_times_e :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :half_times_e :provedBy :TransTimesAlg .
-} .
-:report :proof {
-    :half_times_pi :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :half_times_pi :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :half_times_pi :provedBy :TransTimesAlg .
-} .
-:report :proof {
-    :pi :provedBy :Lindemann1882 .
-} .
-:report :proof {
-    :pi :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :pi :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :pi_div_2 :provedBy :TransDivAlg .
-} .
-:report :proof {
-    :pi_div_2 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :pi_div_2 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :pi_plus_1 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :pi_plus_1 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :pi_plus_1 :provedBy :TransPlusAlg .
-} .
-:report :proof {
-    :pi_plus_sqrt2 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :pi_plus_sqrt2 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :pi_plus_sqrt2 :provedBy :TransPlusAlg .
-} .
-:report :proof {
-    :pow_2_sqrt2 :provedBy :GelfondSchneider .
-} .
-:report :proof {
-    :pow_2_sqrt2 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :pow_2_sqrt2 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :pow_e_pi :provedBy :GelfondSchneider .
-} .
-:report :proof {
-    :pow_e_pi :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :pow_e_pi :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :pow_i_i :provedBy :GelfondSchneider .
-} .
-:report :proof {
-    :pow_i_i :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :pow_i_i :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :pow_minus1_minusI :provedBy :GelfondSchneider .
-} .
-:report :proof {
-    :pow_minus1_minusI :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :pow_minus1_minusI :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :pow2sqrt2_div_2 :provedBy :TransDivAlg .
-} .
-:report :proof {
-    :pow2sqrt2_div_2 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :pow2sqrt2_div_2 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :pow2sqrt2_plus_1 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :pow2sqrt2_plus_1 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :pow2sqrt2_plus_1 :provedBy :TransPlusAlg .
-} .
-:report :proof {
-    :two_times_e :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :two_times_e :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :two_times_e :provedBy :TransTimesAlg .
-} .
-:report :proof {
-    :two_times_pi :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :two_times_pi :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :two_times_pi :provedBy :TransTimesAlg .
-} .
-:report :proof {
-    :two_times_pow2sqrt2 :provedBy :TransImpliesIrrational .
-} .
-:report :proof {
-    :two_times_pow2sqrt2 :provedBy :TransImpliesNotConstructible .
-} .
-:report :proof {
-    :two_times_pow2sqrt2 :provedBy :TransTimesAlg .
-} .
-:report :transcendental :e .
-:report :transcendental :e_div_2 .
-:report :transcendental :e_plus_1 .
-:report :transcendental :e_plus_2 .
-:report :transcendental :exp_minus_pi_over_2 .
-:report :transcendental :exp_sqrt2 .
-:report :transcendental :half_times_e .
-:report :transcendental :half_times_pi .
-:report :transcendental :pi .
-:report :transcendental :pi_div_2 .
-:report :transcendental :pi_plus_1 .
-:report :transcendental :pi_plus_sqrt2 .
-:report :transcendental :pow_2_sqrt2 .
-:report :transcendental :pow_e_pi .
-:report :transcendental :pow_i_i .
-:report :transcendental :pow_minus1_minusI .
-:report :transcendental :pow2sqrt2_div_2 .
-:report :transcendental :pow2sqrt2_plus_1 .
-:report :transcendental :two_times_e .
-:report :transcendental :two_times_pi .
-:report :transcendental :two_times_pow2sqrt2 .
-:report :unknown :pow_pi_e .
-:report :unknown :prod_e_pi .
-:report :unknown :sum_e_pi .

package/examples/output/transistor-switch.txt

@@ -1,24 +0,0 @@
-=== Answer ===
-In this toy transistor-switch model, a low input leaves the transistor in cutoff (OFF) and a high input drives it into saturation (ON), so the load behaves like an on/off branch rather than a linear amplifier.
-case                             : transistor-switch
-low input state                  : cutoff / OFF
-high input state                 : saturation / ON
-on-state load current            : 4.80 mA
-
-=== Reason Why ===
-We model an NPN low-side switch with exact millivolt and microamp arithmetic. The base current comes from (Vin - Vbe,on)/Rb when the base-emitter junction is forward biased, and the collector current is the smaller of beta * Ib and the load-limited current (Vcc - Vce,sat)/Rl.
-supply voltage                   : 5.00 V
-base resistor                    : 10000 ohms
-load resistor                    : 1000 ohms
-transistor beta proxy            : 100
-low input                        : Vin=0.00 V -> Ib=0.00 mA, Ic=0.00 mA, Vce=5.00 V, state=cutoff / OFF
-high input                       : Vin=5.00 V -> Ib=0.43 mA, Ic=4.80 mA, Vce=0.20 V, state=saturation / ON
-high-input gain limit            : 43.00 mA
-high-input load limit            : 4.80 mA
-
-=== Check ===
-low input stays in cutoff        : yes
-high input reaches saturation    : yes
-switching states differ          : yes
-on-state current is load-limited : yes
-load voltage matches resistor drop : yes

package/examples/output/triple-terms.n3

@@ -1,5 +0,0 @@
-VERSION "1.2"
-
-@prefix : <https://eyereasoner.github.io/eyeling/examples/triple_terms#> .
-
-:observation :entails <<( :sensor :needs :inspection )>> .