Coverage for /usr/lib/python3/dist-packages/sympy/core/assumptions_generated.py: 100%

1""" 

2Do NOT manually edit this file. 

3Instead, run ./bin/ask_update.py. 

4""" 

5 

6defined_facts = [ 

7 'algebraic', 

8 'antihermitian', 

9 'commutative', 

10 'complex', 

11 'composite', 

12 'even', 

13 'extended_negative', 

14 'extended_nonnegative', 

15 'extended_nonpositive', 

16 'extended_nonzero', 

17 'extended_positive', 

18 'extended_real', 

19 'finite', 

20 'hermitian', 

21 'imaginary', 

22 'infinite', 

23 'integer', 

24 'irrational', 

25 'negative', 

26 'noninteger', 

27 'nonnegative', 

28 'nonpositive', 

29 'nonzero', 

30 'odd', 

31 'positive', 

32 'prime', 

33 'rational', 

34 'real', 

35 'transcendental', 

36 'zero', 

37] # defined_facts 

38 

39 

40full_implications = dict( [ 

41 # Implications of algebraic = True: 

42 (('algebraic', True), set( ( 

43 ('commutative', True), 

44 ('complex', True), 

45 ('finite', True), 

46 ('infinite', False), 

47 ('transcendental', False), 

48 ) ), 

49 ), 

50 # Implications of algebraic = False: 

51 (('algebraic', False), set( ( 

52 ('composite', False), 

53 ('even', False), 

54 ('integer', False), 

55 ('odd', False), 

56 ('prime', False), 

57 ('rational', False), 

58 ('zero', False), 

59 ) ), 

60 ), 

61 # Implications of antihermitian = True: 

62 (('antihermitian', True), set( ( 

63 ) ), 

64 ), 

65 # Implications of antihermitian = False: 

66 (('antihermitian', False), set( ( 

67 ('imaginary', False), 

68 ) ), 

69 ), 

70 # Implications of commutative = True: 

71 (('commutative', True), set( ( 

72 ) ), 

73 ), 

74 # Implications of commutative = False: 

75 (('commutative', False), set( ( 

76 ('algebraic', False), 

77 ('complex', False), 

78 ('composite', False), 

79 ('even', False), 

80 ('extended_negative', False), 

81 ('extended_nonnegative', False), 

82 ('extended_nonpositive', False), 

83 ('extended_nonzero', False), 

84 ('extended_positive', False), 

85 ('extended_real', False), 

86 ('imaginary', False), 

87 ('integer', False), 

88 ('irrational', False), 

89 ('negative', False), 

90 ('noninteger', False), 

91 ('nonnegative', False), 

92 ('nonpositive', False), 

93 ('nonzero', False), 

94 ('odd', False), 

95 ('positive', False), 

96 ('prime', False), 

97 ('rational', False), 

98 ('real', False), 

99 ('transcendental', False), 

100 ('zero', False), 

101 ) ), 

102 ), 

103 # Implications of complex = True: 

104 (('complex', True), set( ( 

105 ('commutative', True), 

106 ('finite', True), 

107 ('infinite', False), 

108 ) ), 

109 ), 

110 # Implications of complex = False: 

111 (('complex', False), set( ( 

112 ('algebraic', False), 

113 ('composite', False), 

114 ('even', False), 

115 ('imaginary', False), 

116 ('integer', False), 

117 ('irrational', False), 

118 ('negative', False), 

119 ('nonnegative', False), 

120 ('nonpositive', False), 

121 ('nonzero', False), 

122 ('odd', False), 

123 ('positive', False), 

124 ('prime', False), 

125 ('rational', False), 

126 ('real', False), 

127 ('transcendental', False), 

128 ('zero', False), 

129 ) ), 

130 ), 

131 # Implications of composite = True: 

132 (('composite', True), set( ( 

133 ('algebraic', True), 

134 ('commutative', True), 

135 ('complex', True), 

136 ('extended_negative', False), 

137 ('extended_nonnegative', True), 

138 ('extended_nonpositive', False), 

139 ('extended_nonzero', True), 

140 ('extended_positive', True), 

141 ('extended_real', True), 

142 ('finite', True), 

143 ('hermitian', True), 

144 ('imaginary', False), 

145 ('infinite', False), 

146 ('integer', True), 

147 ('irrational', False), 

148 ('negative', False), 

149 ('noninteger', False), 

150 ('nonnegative', True), 

151 ('nonpositive', False), 

152 ('nonzero', True), 

153 ('positive', True), 

154 ('prime', False), 

155 ('rational', True), 

156 ('real', True), 

157 ('transcendental', False), 

158 ('zero', False), 

159 ) ), 

160 ), 

161 # Implications of composite = False: 

162 (('composite', False), set( ( 

163 ) ), 

164 ), 

165 # Implications of even = True: 

166 (('even', True), set( ( 

167 ('algebraic', True), 

168 ('commutative', True), 

169 ('complex', True), 

170 ('extended_real', True), 

171 ('finite', True), 

172 ('hermitian', True), 

173 ('imaginary', False), 

174 ('infinite', False), 

175 ('integer', True), 

176 ('irrational', False), 

177 ('noninteger', False), 

178 ('odd', False), 

179 ('rational', True), 

180 ('real', True), 

181 ('transcendental', False), 

182 ) ), 

183 ), 

184 # Implications of even = False: 

185 (('even', False), set( ( 

186 ('zero', False), 

187 ) ), 

188 ), 

189 # Implications of extended_negative = True: 

190 (('extended_negative', True), set( ( 

191 ('commutative', True), 

192 ('composite', False), 

193 ('extended_nonnegative', False), 

194 ('extended_nonpositive', True), 

195 ('extended_nonzero', True), 

196 ('extended_positive', False), 

197 ('extended_real', True), 

198 ('imaginary', False), 

199 ('nonnegative', False), 

200 ('positive', False), 

201 ('prime', False), 

202 ('zero', False), 

203 ) ), 

204 ), 

205 # Implications of extended_negative = False: 

206 (('extended_negative', False), set( ( 

207 ('negative', False), 

208 ) ), 

209 ), 

210 # Implications of extended_nonnegative = True: 

211 (('extended_nonnegative', True), set( ( 

212 ('commutative', True), 

213 ('extended_negative', False), 

214 ('extended_real', True), 

215 ('imaginary', False), 

216 ('negative', False), 

217 ) ), 

218 ), 

219 # Implications of extended_nonnegative = False: 

220 (('extended_nonnegative', False), set( ( 

221 ('composite', False), 

222 ('extended_positive', False), 

223 ('nonnegative', False), 

224 ('positive', False), 

225 ('prime', False), 

226 ('zero', False), 

227 ) ), 

228 ), 

229 # Implications of extended_nonpositive = True: 

230 (('extended_nonpositive', True), set( ( 

231 ('commutative', True), 

232 ('composite', False), 

233 ('extended_positive', False), 

234 ('extended_real', True), 

235 ('imaginary', False), 

236 ('positive', False), 

237 ('prime', False), 

238 ) ), 

239 ), 

240 # Implications of extended_nonpositive = False: 

241 (('extended_nonpositive', False), set( ( 

242 ('extended_negative', False), 

243 ('negative', False), 

244 ('nonpositive', False), 

245 ('zero', False), 

246 ) ), 

247 ), 

248 # Implications of extended_nonzero = True: 

249 (('extended_nonzero', True), set( ( 

250 ('commutative', True), 

251 ('extended_real', True), 

252 ('imaginary', False), 

253 ('zero', False), 

254 ) ), 

255 ), 

256 # Implications of extended_nonzero = False: 

257 (('extended_nonzero', False), set( ( 

258 ('composite', False), 

259 ('extended_negative', False), 

260 ('extended_positive', False), 

261 ('negative', False), 

262 ('nonzero', False), 

263 ('positive', False), 

264 ('prime', False), 

265 ) ), 

266 ), 

267 # Implications of extended_positive = True: 

268 (('extended_positive', True), set( ( 

269 ('commutative', True), 

270 ('extended_negative', False), 

271 ('extended_nonnegative', True), 

272 ('extended_nonpositive', False), 

273 ('extended_nonzero', True), 

274 ('extended_real', True), 

275 ('imaginary', False), 

276 ('negative', False), 

277 ('nonpositive', False), 

278 ('zero', False), 

279 ) ), 

280 ), 

281 # Implications of extended_positive = False: 

282 (('extended_positive', False), set( ( 

283 ('composite', False), 

284 ('positive', False), 

285 ('prime', False), 

286 ) ), 

287 ), 

288 # Implications of extended_real = True: 

289 (('extended_real', True), set( ( 

290 ('commutative', True), 

291 ('imaginary', False), 

292 ) ), 

293 ), 

294 # Implications of extended_real = False: 

295 (('extended_real', False), set( ( 

296 ('composite', False), 

297 ('even', False), 

298 ('extended_negative', False), 

299 ('extended_nonnegative', False), 

300 ('extended_nonpositive', False), 

301 ('extended_nonzero', False), 

302 ('extended_positive', False), 

303 ('integer', False), 

304 ('irrational', False), 

305 ('negative', False), 

306 ('noninteger', False), 

307 ('nonnegative', False), 

308 ('nonpositive', False), 

309 ('nonzero', False), 

310 ('odd', False), 

311 ('positive', False), 

312 ('prime', False), 

313 ('rational', False), 

314 ('real', False), 

315 ('zero', False), 

316 ) ), 

317 ), 

318 # Implications of finite = True: 

319 (('finite', True), set( ( 

320 ('infinite', False), 

321 ) ), 

322 ), 

323 # Implications of finite = False: 

324 (('finite', False), set( ( 

325 ('algebraic', False), 

326 ('complex', False), 

327 ('composite', False), 

328 ('even', False), 

329 ('imaginary', False), 

330 ('infinite', True), 

331 ('integer', False), 

332 ('irrational', False), 

333 ('negative', False), 

334 ('nonnegative', False), 

335 ('nonpositive', False), 

336 ('nonzero', False), 

337 ('odd', False), 

338 ('positive', False), 

339 ('prime', False), 

340 ('rational', False), 

341 ('real', False), 

342 ('transcendental', False), 

343 ('zero', False), 

344 ) ), 

345 ), 

346 # Implications of hermitian = True: 

347 (('hermitian', True), set( ( 

348 ) ), 

349 ), 

350 # Implications of hermitian = False: 

351 (('hermitian', False), set( ( 

352 ('composite', False), 

353 ('even', False), 

354 ('integer', False), 

355 ('irrational', False), 

356 ('negative', False), 

357 ('nonnegative', False), 

358 ('nonpositive', False), 

359 ('nonzero', False), 

360 ('odd', False), 

361 ('positive', False), 

362 ('prime', False), 

363 ('rational', False), 

364 ('real', False), 

365 ('zero', False), 

366 ) ), 

367 ), 

368 # Implications of imaginary = True: 

369 (('imaginary', True), set( ( 

370 ('antihermitian', True), 

371 ('commutative', True), 

372 ('complex', True), 

373 ('composite', False), 

374 ('even', False), 

375 ('extended_negative', False), 

376 ('extended_nonnegative', False), 

377 ('extended_nonpositive', False), 

378 ('extended_nonzero', False), 

379 ('extended_positive', False), 

380 ('extended_real', False), 

381 ('finite', True), 

382 ('infinite', False), 

383 ('integer', False), 

384 ('irrational', False), 

385 ('negative', False), 

386 ('noninteger', False), 

387 ('nonnegative', False), 

388 ('nonpositive', False), 

389 ('nonzero', False), 

390 ('odd', False), 

391 ('positive', False), 

392 ('prime', False), 

393 ('rational', False), 

394 ('real', False), 

395 ('zero', False), 

396 ) ), 

397 ), 

398 # Implications of imaginary = False: 

399 (('imaginary', False), set( ( 

400 ) ), 

401 ), 

402 # Implications of infinite = True: 

403 (('infinite', True), set( ( 

404 ('algebraic', False), 

405 ('complex', False), 

406 ('composite', False), 

407 ('even', False), 

408 ('finite', False), 

409 ('imaginary', False), 

410 ('integer', False), 

411 ('irrational', False), 

412 ('negative', False), 

413 ('nonnegative', False), 

414 ('nonpositive', False), 

415 ('nonzero', False), 

416 ('odd', False), 

417 ('positive', False), 

418 ('prime', False), 

419 ('rational', False), 

420 ('real', False), 

421 ('transcendental', False), 

422 ('zero', False), 

423 ) ), 

424 ), 

425 # Implications of infinite = False: 

426 (('infinite', False), set( ( 

427 ('finite', True), 

428 ) ), 

429 ), 

430 # Implications of integer = True: 

431 (('integer', True), set( ( 

432 ('algebraic', True), 

433 ('commutative', True), 

434 ('complex', True), 

435 ('extended_real', True), 

436 ('finite', True), 

437 ('hermitian', True), 

438 ('imaginary', False), 

439 ('infinite', False), 

440 ('irrational', False), 

441 ('noninteger', False), 

442 ('rational', True), 

443 ('real', True), 

444 ('transcendental', False), 

445 ) ), 

446 ), 

447 # Implications of integer = False: 

448 (('integer', False), set( ( 

449 ('composite', False), 

450 ('even', False), 

451 ('odd', False), 

452 ('prime', False), 

453 ('zero', False), 

454 ) ), 

455 ), 

456 # Implications of irrational = True: 

457 (('irrational', True), set( ( 

458 ('commutative', True), 

459 ('complex', True), 

460 ('composite', False), 

461 ('even', False), 

462 ('extended_nonzero', True), 

463 ('extended_real', True), 

464 ('finite', True), 

465 ('hermitian', True), 

466 ('imaginary', False), 

467 ('infinite', False), 

468 ('integer', False), 

469 ('noninteger', True), 

470 ('nonzero', True), 

471 ('odd', False), 

472 ('prime', False), 

473 ('rational', False), 

474 ('real', True), 

475 ('zero', False), 

476 ) ), 

477 ), 

478 # Implications of irrational = False: 

479 (('irrational', False), set( ( 

480 ) ), 

481 ), 

482 # Implications of negative = True: 

483 (('negative', True), set( ( 

484 ('commutative', True), 

485 ('complex', True), 

486 ('composite', False), 

487 ('extended_negative', True), 

488 ('extended_nonnegative', False), 

489 ('extended_nonpositive', True), 

490 ('extended_nonzero', True), 

491 ('extended_positive', False), 

492 ('extended_real', True), 

493 ('finite', True), 

494 ('hermitian', True), 

495 ('imaginary', False), 

496 ('infinite', False), 

497 ('nonnegative', False), 

498 ('nonpositive', True), 

499 ('nonzero', True), 

500 ('positive', False), 

501 ('prime', False), 

502 ('real', True), 

503 ('zero', False), 

504 ) ), 

505 ), 

506 # Implications of negative = False: 

507 (('negative', False), set( ( 

508 ) ), 

509 ), 

510 # Implications of noninteger = True: 

511 (('noninteger', True), set( ( 

512 ('commutative', True), 

513 ('composite', False), 

514 ('even', False), 

515 ('extended_nonzero', True), 

516 ('extended_real', True), 

517 ('imaginary', False), 

518 ('integer', False), 

519 ('odd', False), 

520 ('prime', False), 

521 ('zero', False), 

522 ) ), 

523 ), 

524 # Implications of noninteger = False: 

525 (('noninteger', False), set( ( 

526 ) ), 

527 ), 

528 # Implications of nonnegative = True: 

529 (('nonnegative', True), set( ( 

530 ('commutative', True), 

531 ('complex', True), 

532 ('extended_negative', False), 

533 ('extended_nonnegative', True), 

534 ('extended_real', True), 

535 ('finite', True), 

536 ('hermitian', True), 

537 ('imaginary', False), 

538 ('infinite', False), 

539 ('negative', False), 

540 ('real', True), 

541 ) ), 

542 ), 

543 # Implications of nonnegative = False: 

544 (('nonnegative', False), set( ( 

545 ('composite', False), 

546 ('positive', False), 

547 ('prime', False), 

548 ('zero', False), 

549 ) ), 

550 ), 

551 # Implications of nonpositive = True: 

552 (('nonpositive', True), set( ( 

553 ('commutative', True), 

554 ('complex', True), 

555 ('composite', False), 

556 ('extended_nonpositive', True), 

557 ('extended_positive', False), 

558 ('extended_real', True), 

559 ('finite', True), 

560 ('hermitian', True), 

561 ('imaginary', False), 

562 ('infinite', False), 

563 ('positive', False), 

564 ('prime', False), 

565 ('real', True), 

566 ) ), 

567 ), 

568 # Implications of nonpositive = False: 

569 (('nonpositive', False), set( ( 

570 ('negative', False), 

571 ('zero', False), 

572 ) ), 

573 ), 

574 # Implications of nonzero = True: 

575 (('nonzero', True), set( ( 

576 ('commutative', True), 

577 ('complex', True), 

578 ('extended_nonzero', True), 

579 ('extended_real', True), 

580 ('finite', True), 

581 ('hermitian', True), 

582 ('imaginary', False), 

583 ('infinite', False), 

584 ('real', True), 

585 ('zero', False), 

586 ) ), 

587 ), 

588 # Implications of nonzero = False: 

589 (('nonzero', False), set( ( 

590 ('composite', False), 

591 ('negative', False), 

592 ('positive', False), 

593 ('prime', False), 

594 ) ), 

595 ), 

596 # Implications of odd = True: 

597 (('odd', True), set( ( 

598 ('algebraic', True), 

599 ('commutative', True), 

600 ('complex', True), 

601 ('even', False), 

602 ('extended_nonzero', True), 

603 ('extended_real', True), 

604 ('finite', True), 

605 ('hermitian', True), 

606 ('imaginary', False), 

607 ('infinite', False), 

608 ('integer', True), 

609 ('irrational', False), 

610 ('noninteger', False), 

611 ('nonzero', True), 

612 ('rational', True), 

613 ('real', True), 

614 ('transcendental', False), 

615 ('zero', False), 

616 ) ), 

617 ), 

618 # Implications of odd = False: 

619 (('odd', False), set( ( 

620 ) ), 

621 ), 

622 # Implications of positive = True: 

623 (('positive', True), set( ( 

624 ('commutative', True), 

625 ('complex', True), 

626 ('extended_negative', False), 

627 ('extended_nonnegative', True), 

628 ('extended_nonpositive', False), 

629 ('extended_nonzero', True), 

630 ('extended_positive', True), 

631 ('extended_real', True), 

632 ('finite', True), 

633 ('hermitian', True), 

634 ('imaginary', False), 

635 ('infinite', False), 

636 ('negative', False), 

637 ('nonnegative', True), 

638 ('nonpositive', False), 

639 ('nonzero', True), 

640 ('real', True), 

641 ('zero', False), 

642 ) ), 

643 ), 

644 # Implications of positive = False: 

645 (('positive', False), set( ( 

646 ('composite', False), 

647 ('prime', False), 

648 ) ), 

649 ), 

650 # Implications of prime = True: 

651 (('prime', True), set( ( 

652 ('algebraic', True), 

653 ('commutative', True), 

654 ('complex', True), 

655 ('composite', False), 

656 ('extended_negative', False), 

657 ('extended_nonnegative', True), 

658 ('extended_nonpositive', False), 

659 ('extended_nonzero', True), 

660 ('extended_positive', True), 

661 ('extended_real', True), 

662 ('finite', True), 

663 ('hermitian', True), 

664 ('imaginary', False), 

665 ('infinite', False), 

666 ('integer', True), 

667 ('irrational', False), 

668 ('negative', False), 

669 ('noninteger', False), 

670 ('nonnegative', True), 

671 ('nonpositive', False), 

672 ('nonzero', True), 

673 ('positive', True), 

674 ('rational', True), 

675 ('real', True), 

676 ('transcendental', False), 

677 ('zero', False), 

678 ) ), 

679 ), 

680 # Implications of prime = False: 

681 (('prime', False), set( ( 

682 ) ), 

683 ), 

684 # Implications of rational = True: 

685 (('rational', True), set( ( 

686 ('algebraic', True), 

687 ('commutative', True), 

688 ('complex', True), 

689 ('extended_real', True), 

690 ('finite', True), 

691 ('hermitian', True), 

692 ('imaginary', False), 

693 ('infinite', False), 

694 ('irrational', False), 

695 ('real', True), 

696 ('transcendental', False), 

697 ) ), 

698 ), 

699 # Implications of rational = False: 

700 (('rational', False), set( ( 

701 ('composite', False), 

702 ('even', False), 

703 ('integer', False), 

704 ('odd', False), 

705 ('prime', False), 

706 ('zero', False), 

707 ) ), 

708 ), 

709 # Implications of real = True: 

710 (('real', True), set( ( 

711 ('commutative', True), 

712 ('complex', True), 

713 ('extended_real', True), 

714 ('finite', True), 

715 ('hermitian', True), 

716 ('imaginary', False), 

717 ('infinite', False), 

718 ) ), 

719 ), 

720 # Implications of real = False: 

721 (('real', False), set( ( 

722 ('composite', False), 

723 ('even', False), 

724 ('integer', False), 

725 ('irrational', False), 

726 ('negative', False), 

727 ('nonnegative', False), 

728 ('nonpositive', False), 

729 ('nonzero', False), 

730 ('odd', False), 

731 ('positive', False), 

732 ('prime', False), 

733 ('rational', False), 

734 ('zero', False), 

735 ) ), 

736 ), 

737 # Implications of transcendental = True: 

738 (('transcendental', True), set( ( 

739 ('algebraic', False), 

740 ('commutative', True), 

741 ('complex', True), 

742 ('composite', False), 

743 ('even', False), 

744 ('finite', True), 

745 ('infinite', False), 

746 ('integer', False), 

747 ('odd', False), 

748 ('prime', False), 

749 ('rational', False), 

750 ('zero', False), 

751 ) ), 

752 ), 

753 # Implications of transcendental = False: 

754 (('transcendental', False), set( ( 

755 ) ), 

756 ), 

757 # Implications of zero = True: 

758 (('zero', True), set( ( 

759 ('algebraic', True), 

760 ('commutative', True), 

761 ('complex', True), 

762 ('composite', False), 

763 ('even', True), 

764 ('extended_negative', False), 

765 ('extended_nonnegative', True), 

766 ('extended_nonpositive', True), 

767 ('extended_nonzero', False), 

768 ('extended_positive', False), 

769 ('extended_real', True), 

770 ('finite', True), 

771 ('hermitian', True), 

772 ('imaginary', False), 

773 ('infinite', False), 

774 ('integer', True), 

775 ('irrational', False), 

776 ('negative', False), 

777 ('noninteger', False), 

778 ('nonnegative', True), 

779 ('nonpositive', True), 

780 ('nonzero', False), 

781 ('odd', False), 

782 ('positive', False), 

783 ('prime', False), 

784 ('rational', True), 

785 ('real', True),