Find the intersection of a line with a plane: Difference between revisions

Content added Content deleted
Line 1,510: Line 1,510:
my $plane = (5*$k + $l) ∧ ($i∧$j);
my $plane = (5*$k + $l) ∧ ($i∧$j);


# The meet is the dual of the join of the duals
# The intersection is the meet, and
# according to the De Morgan Law,
# the meet is the dual of the join of the duals.
my $LINE = $line*$I/$I2;
my $LINE = $line*$I/$I2;
my $PLANE = $plane*$I/$I2;
my $PLANE = $plane*$I/$I2;